Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968.
Saved in:
Meeting name: | Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) |
---|---|
Imprint: | Amsterdam, North-Holland Pub. Co., 1970. |
Description: | viii, 516 p. 23 cm. |
Language: | English |
Series: | Studies in logic and the foundations of mathematics |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/905792 |
Other authors / contributors: | Kino, A. ed. Myhill, John, 1923-1987 ed. Vesley, Richard Eugene, 1932- ed. State University College at Buffalo |
---|---|
Notes: | Includes bibliographies. |
Similar Items
-
Mathematical intuitionism : introduction to proof theory /
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988) -
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968.
Published: (1970) -
Elements of intuitionism /
by: Dummett, Michael A. E.
Published: (1977) -
Intuitionistic type theory /
by: Martin-Löf, Per, 1942-
Published: (1984) -
Intuitionism vs. classicism : a mathematical attack on classical logic /
by: Haverkamp, Nick
Published: (2015)