On Brouwer / Mark Van Atten.

Saved in:

Bibliographic Details
Published:	[Belmont, Calif.] : Wadsworth, c2004.
Main Author:	Atten, Markus Sebastiaan Paul Rogier van, 1973-
Series:	Wadsworth philosophers series
Subjects:	Brouwer, L. E. J. > (Luitzen Egbertus Jan), > 1881-1966. Mathematics > Philosophy. Intuitionistic mathematics.
Format:	Book

On Brouwer /

Similar Items

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

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

Brouwer's Cambridge lectures on intuitionism /
by: Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
Published: (1981)

Adriaen Brouwer : the master and his work /
by: Knuttel, Gerhardus, 1889-
Published: (1962)

Adriaen Brouwer : sein Leben und seine Werke.
by: Bode, Wilhelm von, 1845-1929
Published: (1924)

Elements of intuitionism /
by: Dummett, Michael, 1925-2011
Published: (1977)

Intuitionism : an introduction.
by: Heyting, A. (Arend), 1898-
Published: (1971)

Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)

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

Conversations with a mathematician : math, art, science, and the limits of reason : a collection of his most wide-ranging and non-technical lectures and interviews /
by: Chaitin, Gregory J.
Published: (2002)

Choice sequences : a chapter of intuitionistic mathematics /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1977)

Topological methods in second order arithmetic.
by: Gray, Alistair Gavin
Published: (1977)

A theoretical constructivisation of mathematical economics : a thesis submitted in fulfilment of the requirements of the degree for Doctorate of Philosophy in Mathematics at the University of Canterbury /
by: Popa, Gabriela
Published: (2003)

Absoluteness of intuitionistic logic /
by: Leivant, Daniel Maurice Raphaël
Published: (1979)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-
Published: (1965)

Topological methods in second order arithmetic.
by: Gray, Alistair Gavin
Published: (1977)

Proof theory and intuitionistic systems /
by: Scarpellini, Bruno
Published: (1971)

Extensional Gödel functional interpretation : a consistency proof of classical analysis /
by: Luckhardt, Horst
Published: (1973)

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)

Benacerraf and his critics /
Published: (1996)

Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Published: (1973)

Logic, mathematics, philosophy : vintage enthusiasms : essays in honour of John L. Bell /
Published: (2011)

Perfect rigor : a genius and the mathematical breakthrough of the century /
by: Gessen, Masha
Published: (2009)

Isaac Newton on mathematical certainty and method /
by: Guicciardini, Niccolò
Published: (2009)

Lewis Carroll in Numberland : his fantastical mathematical logical life : an agony in eight fits /
by: Wilson, Robin J.
Published: (2009)

Squaring the circle : the war between Hobbes and Wallis /
by: Jesseph, Douglas Michael
Published: (1999)

Selecta /
by: Freudenthal, Hans, 1905-
Published: (2009)

Jan Gonda : 14 April 1905-28 July 1991 /
by: Bodewitz, H. W.
Published: (1990)

Collected works of Charles François Sturm /
by: Sturm, Charles-François, 1803-1855
Published: (2009)

The Weil conjectures : on math and the pursuit of the unknown /
by: Olsson, Karen, 1972-
Published: (2019)

Finding Fibonacci : the quest to rediscover the forgotten mathematical genius who changed the world /
by: Devlin, Keith J.
Published: (2017)

The mathematical discoveries of Newton /
by: Turnbull, H. W. (Herbert Westren), 1885-1961
Published: (1945)

Essays on Frege /
by: Klemke, E. D. (Elmer Daniel), 1926-2000
Published: (1968)

Alan Turing : his work and impact /
Published: (2013)

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

Alfred Tarski : life and logic /
by: Feferman, Anita Burdman
Published: (2004)

The early mathematics of Leonhard Euler /
by: Sandifer, Charles Edward, 1951-
Published: (2007)