Cover Image

Mathematical intuitionism : introduction to proof theory /

Bibliographic Details
Main Author:	Dragalin, Alʹbert Grigorʹevich
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, [1988]
Series:	Translations of mathematical monographs ; v. 67.
Subjects:	Logic, Symbolic and mathematical.

Similar Items

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

Intuitionism : an introduction /
Published: (1956)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)

Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968 /
Published: (1970)

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

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

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (2002)

Introduction to mathematical logic : set theory, computable functions, model theory /
by: Malitz, J.
Published: (1979)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (2010)

An introduction to mathematical logic /
by: Robison, Gerson B., 1909-
Published: (1969)

Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1979)

An algebraic introduction to mathematical logic /
by: Barnes, Donald W.
Published: (1975)

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)

Mathematics and mathematical logic : new research /
Published: (2010)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

Mathematical Intuitionism and Intersubjectivity : A Critical Exposition of Arguments for Intuitionism /
by: Placek, Tomasz
Published: (1999)

How to read and do proofs : an introduction to mathematical thought processes /
by: Solow, Daniel
Published: (1990)

A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang
Published: (2006)

Studies in constructive mathematics and mathematical logic /
Published: (1969)

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

Perspectives on the history of mathematical logic /
Published: (2008)

Introduction to the foundations of mathematics.
by: Wilder, Raymond Louis, 1896-1982
Published: (1952)

An introduction to mathematical thought.
by: Stabler, Edward Russell, 1906-
Published: (1953)

Mathematical interpretation of formal systems
Published: (1955)

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

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1967)

Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)

Mathematical logic.
by: Ponasse, Daniel
Published: (1973)

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

Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

Mathematical logic /
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)

The grammar of mathematics /
by: Durst, Lincoln K.
Published: (1969)

Mathematical logic.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Introduction to the foundations of mathematics [by] Raymond L. Wilder.
by: Wilder, Raymond Louis, 1896-1982
Published: (1965)

The anatomy of mathematics /
by: Kershner, R. B. (Richard Brandon), 1913-1982
Published: (1974)

Mathematical logic and formalized theories ; a survey of basic concepts and results.
by: Rogers, Robert, 1926-
Published: (1971)

A logical introduction to proof /
by: Cunningham, Daniel W.
Published: (2012)