Metamathematical investigation of intuitionistic arithmetic and analysis (Lecture notes in mathematics, 344)
by
A. S Troelstra
details (
USA
).
ISBN: 978-0-387-06491-8
ISBN-10: 0-387-06491-5
Springer
· 1973
See also (possibly by other authors):
2009
Taschenbuch
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics (344), Band 344)