Access the full text.
Sign up today, get DeepDyve free for 14 days.
D. Dalen (1986)
Handbook of philosophical logic, vol. III
A. Troelstra (1988)
Constructivism in mathematics
J. Myhill (1966)
NOTES TOWARDS AN AXIOMATIZATION OF INTUITIONISTIC ANALYSISLogique Et Analyse, 9
L. Brouwer (1975)
CONSCIOUSNESS, PHILOSOPHY, AND MATHEMATICS, 2
B. Rootselaar (1970)
Intuitionism and proof theory
D. Gabbay (1981)
Semantical investigations in Heyting's intuitionistic logic
D. Gabbay (1977)
A new version of Beth semantics for intuitionistic logicJournal of Symbolic Logic, 42
A.S. Troelstra, D. Dalen (1988)
Constructivism in mathematics, vols. I and II
(1954)
Intuitionistische differentieerbaarheid
A. Heyting (1956)
Intuitionism: An introduction
(1948)
Essentieel negatieve eigenschappen
G. Kreisel (1967)
Informal Rigour and Completeness ProofsStudies in logic and the foundations of mathematics, 47
D. Dalen (1978)
An interpretation of intuitionistic analysisAnnals of Mathematical Logic, 13
L.E.J. Brouwer (1949)
Library of the Tenth International Congress of Philosophy, August 1948, Amsterdam, vol. I
A. Troelstra (1977)
Choice sequences : a chapter of intuitionistic mathematics
J. Myhill (1968)
FORMAL SYSTEMS OF INTUITIONISTIC ANALYSIS, I,Studies in logic and the foundations of mathematics, 52
L.E.J. Brouwer (1949)
De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuumIndagationes Math., 11
(1978)
D.van.: An interpretation of intuitionistic analysis
S.A. Kripke (1965)
Formal systems and recursive functions
A. Troelstra (1969)
Principles of intuitionism
L. Brouwer (1952)
Over accumulatiekernen van oneindige kernsoorten, 55
J. Myhill (1970)
Formal Systems of Intuitionistic Analysis II: The Theory of SpeciesStudies in logic and the foundations of mathematics, 60
B. Rootselaar (1970)
On Subjective Mathematical AssertionsStudies in logic and the foundations of mathematics, 60
H. Swart (1976)
Another Intuitionistic Completeness ProofJ. Symb. Log., 41
M.A.E. Dummett (1977)
Elements of intuitionism
J. Myhill (1968)
Logic, methodology and philosophy of science, vol. III
(1949)
van . : Comments on Brouwer ' s theorem on essentiallynegative predicates
L. Brouwer (1954)
An Example of Contradictority in Classical Theory of Functions, 57
G. Kreisel (1967)
Problems in the philosophy of mathematics
Saul Kripke (1965)
Semantical Analysis of Intuitionistic Logic IStudies in logic and the foundations of mathematics, 40
Archive for Mathematical Logic – Springer Journals
Published: Feb 22, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.