Title: Proof theory and intuitionistic systems
First published: 1971
Subjects: Intuitionistic mathematics, Proof theory, Intuitionistische Logik, Nombres, Théorie des, Intuitionnisme (Mathématiques), Beweistheorie, Zahlentheorie, Mathematics, methodology, Mathematics
LC classification: QA3 .L28 no. 212, QA9 .L28 no. 212