Metamathematical investigation of intuitionistic arithmetic and analysis
By: A.S. Troelstra, editor.
Series: Lecture notes in mathematics -- 344; Lecture notes in mathematics (Berlin) -- 344.
Publisher: Springer-Verlag
Published: 1973
Place of publication: Berlin
Language: eng
Number of pages: 488
Notes: 'The present volume found its origin in a course on functional and realizability interpretations on intuitionistic formal systems presented at the Rijksuniversiteit Utrecht... 1970, and a course on the metamathematics of intuitionistic formal systems at the University of Amsterdam in 1971-1972. - preface.