Metamathematical investigation of intuitionistic arithmetic and analysis /

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.