Brouwer's Cambridge lectures on intuitionism

Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen.

Saved in:

Bibliographic Details
Main Author:	Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
Other Authors:	Dalen, D. van (Dirk), 1932-
Format:	Book
Language:	English
Published:	Cambridge [Eng.] ; New York : Cambridge University Press, 1981.
Subjects:	Intuitionistic mathematics.

Similar Items

Elements of intuitionism
by: Dummett, Michael A. E.
Published: (2000)

Brouwer's intuitionism
by: Stigt, Walter P. van, 1927-
Published: (1990)

A short introduction to intuitionistic logic
by: Mint︠s︡, G. E.
Published: (2000)

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Published: (1982)

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
Published: (1981)

Intensional mathematics
Published: (1985)

One hundred years of intuitionism (1907-2007) : the Cerisy conference
Published: (2008)

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Published: (1980)

Lectures in logic and set theory
by: Tourlakis, George J.
Published: (2003)

Cambridge Summer School in Mathematical Logic; [papers]
Published: (1973)

Kurt Gödel : The Princeton lectures on intuitionism
by: Gödel, Kurt
Published: (2021)

Can mathematics be proved consistent? : Gödel's shorthand notes & lectures on incompleteness
by: Von Plato, Jan
Published: (2020)

Proving in the elementary mathematics classroom
by: Stylianides, Andreas J.
Published: (2016)

Lectures on the Curry-Howard Isomorphism.
by: Urzyczyn, Pawel
Published: (2006)

After Gödel : Platonism and rationalism in mathematics and logic
by: Tieszen, Richard L., 1951-2017
Published: (2011)

The classical decision problem
by: Börger, E. (Egon), 1946-
Published: (1997)

Foundations of constructive mathematics
by: Beeson, Michael J., 1945-
Published: (1984)

Reductive logic and proof-search : proof theory, semantics, and control
by: Pym, David J., et al.
Published: (2004)

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
by: Mancosu, Paolo
Published: (2010)

Advances in experimental philosophy of logic and mathematics
Published: (2019)

Essays in the philosophy and history of logic and mathematics
by: Murawski, Roman
Published: (2010)

Bridge to abstract mathematics
by: Oberste-Vorth, Ralph W., 1959-
Published: (2012)

Mathematical logic in the 20th century
Published: (2003)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

Concepts of proof in mathematics, philosophy, and computer science
Published: (2016)

Degrees of unsolvability : structure and theory
by: Epstein, Richard L., 1947-
Published: (1979)

Formalism and beyond : on the nature of mathematical discourse
Published: (2014)

Logicism and its philosophical legacy
by: Demopoulos, William
Published: (2013)

Proceedings of the 12Th Asian Logic Conference.
by: Downey, R. G. (Rod G.)
Published: (2013)

Hanbdook of logic in computer science. Volume 5, Logic and algebraic methods
Published: (2020)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Published: (2010)

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
by: Hirschfeldt, Denis Roman, et al.
Published: (2017)

Distilling ideas : an introduction to mathematical thinking
by: Katz, Brian P., et al.
Published: (2013)

Logique arithmétique : l'arithmétisation de la logique
by: Gauthier, Yvon, 1941-
Published: (2010)

Fuzzy models in economics
by: Imanov, K. D.
Published: (2021)

Algebra of proofs
by: Szabo, M. E.
Published: (1978)

Philosophy of mathematics in the twentieth century : selected essays
by: Parsons, Charles, 1933-
Published: (2014)

The mathematics of logic : a guide to completeness theorems and their applications
by: Kaye, Richard (Richard W.)
Published: (2007)

Diamond : a paradox logic
by: Hellerstein, N. S. (Nathaniel S.)
Published: (2010)

Reverse mathematics : problems, reductions, and proofs
by: Dzhafarov, Damir D.
Published: (2022)