Title: Metamathematical investigation of intuitionistic arithmetic and analysis
First published: 1973
Subjects: Intuitionistic mathematics, Model theory, Proof theory
LC classification: QA3 .L28 no. 344, QA9.47 .L28 no. 344