Cover Image

Metamathematical investigation of intuitionistic arithmetic and analysis /

Show other versions (1)
Bibliographic Details
Main Author: Troelstra, A. S. (Anne Sjerp)
Format: Book
Language:English
Published: Berlin, Heidelberg, New York : Springer, 1973.
Series:Lecture notes in mathematics (Springer-Verlag) ; 344.
Subjects:
Intuitionistic mathematics.
Proof theory.
Model theory.
Show all versions (2)