Series:

Lecture Notes in Mathematics, 346

1 primary work

Book 344

Cover of Metamathematical Investigation of Intuitionistic Arithmetic and Analysis