Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

Title

Intuitionism and proof theory

Name: Intuitionism and proof theory
Author: Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

Author Statement

Edited by A. Kino, J. Myhill and R. E. Vesley

Publication

North-Holland Pub. Co.

Publication Year

1970

Collation

viii, 516 p. ill. 23 cm

Series

Studies in logic and the foundations of mathematics

Subject

ADDED ENTRIES

Kino, A. ,

DocumentNumber

54967

SubTitle

Proceedings of the summer conference at Buffalo, N.Y., 1968

Index

Includes bibliographies

Link To Document