Brouwer's Cambridge lectures on intuitionism /
| Main Author: | Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966 |
|---|---|
| Other Authors: | Dalen, D. van (Dirk), 1932- |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [England] ; New York, NY :
Cambridge University Press,
1981.
|
| Subjects: |
Similar Items
Intuitionism : an introduction /
Published: (1966)
Published: (1966)
Elements of intuitionism.
by: Dummett, Michael, 1925-2011
Published: (2000)
by: Dummett, Michael, 1925-2011
Published: (2000)
Elements of intuitionism /
by: Dummett, Michael, 1925-2011
Published: (1977)
by: Dummett, Michael, 1925-2011
Published: (1977)
Intuitionism : an introduction /
Published: (1956)
Published: (1956)
The foundations of intuitionistic mathematics /
Published: (1965)
Published: (1965)
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
Published: (1982)
Published: (1982)
A short introduction to intuitionistic logic /
by: Mint͡s, G. E.
Published: (2000)
by: Mint͡s, G. E.
Published: (2000)
Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)
On Brouwer /
by: Atten, Markus Sebastiaan Paul Rogier van, 1973-
Published: (2004)
by: Atten, Markus Sebastiaan Paul Rogier van, 1973-
Published: (2004)
Choice sequences : a chapter of intuitionistic mathematics /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1977)
by: Troelstra, A. S. (Anne Sjerp)
Published: (1977)
Craig's interpolation theorem for the intuitionistic logic of constant domains /
by: Jervell, Herman Ruge
Published: (1971)
by: Jervell, Herman Ruge
Published: (1971)
On Skolem and Herbrand theorems for intuitionistic logic.
by: Jervell, Herman Ruge
Published: (1972)
by: Jervell, Herman Ruge
Published: (1972)
Intensional mathematics /
Published: (1985)
Published: (1985)
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
Published: (1982)
Published: (1982)
Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)
by: Gabbay, Dov M., 1945-
Published: (1981)
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
by: Wallen, Lincoln A.
Published: (1990)
by: Wallen, Lincoln A.
Published: (1990)
Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)
by: Fitting, Melvin, 1942-
Published: (1983)
Intuitionistic fuzzy measures : theory and applications /
by: Ban, Adrian I.
Published: (2006)
by: Ban, Adrian I.
Published: (2006)
One hundred years of intuitionism (1907-2007) : the Cerisy conference /
Published: (2008)
Published: (2008)
Brouwer's intuitionism /
by: Stigt, Walter P. van, 1927-
Published: (1990)
by: Stigt, Walter P. van, 1927-
Published: (1990)
Logicism, intuitionism, and formalism : what has become of them? /
Published: (2009)
Published: (2009)
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Published: (1980)
Published: (1980)
Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)
by: Gabbay, Dov M., 1945-
Published: (1981)
Intentional mathematics /
Published: (1985)
Published: (1985)
Intuitionism ; an introduction.
by: Heyting, A. (Arend), 1898-
Published: (1956)
by: Heyting, A. (Arend), 1898-
Published: (1956)
Mathematical intuitionism : introduction to proof theory /
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)
Extensional Godel functional interpretation ; a consistency proof of classical analysis.
by: Luckhardt, Horst
Published: (1973)
by: Luckhardt, Horst
Published: (1973)
Proof theory and intuitionistic systems.
by: Scarpellini, Bruno
Published: (1971)
by: Scarpellini, Bruno
Published: (1971)
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /
Published: (1981)
Published: (1981)
Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)
Published: (1970)
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968 /
Published: (1970)
Published: (1970)
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Published: (1980)
Published: (1980)
Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)
Intuition and the axiomatic method /
Published: (2006)
Published: (2006)
Brouwer meets Husserl : on the phenomenology of choice sequences /
by: Atten, Markus Sebastiaan Paul Rogier van, 1973-
Published: (2007)
by: Atten, Markus Sebastiaan Paul Rogier van, 1973-
Published: (2007)
Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /
Published: (1981)
Published: (1981)
Proof theory and intuitionistic systems /
by: Scarpellini, Bruno
Published: (1971)
by: Scarpellini, Bruno
Published: (1971)
Intuitionism ; an introduction.
by: Heyting, A. (Arend), 1898-
Published: (1966)
by: Heyting, A. (Arend), 1898-
Published: (1966)
Lectures on the philosophy of mathematics /
by: Shaw, James Byrnie, 1866-1948
Published: (1918)
by: Shaw, James Byrnie, 1866-1948
Published: (1918)