Name: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
ISBN: 978-3-540-37806-8

Editors:

A. S. Troelstra
1. Universiteit van Amsterdam, Amsterdam, Nederland
View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Mathematics (LNM, volume 344)

Sections

eBook USD 59.99

Price excludes VAT (USA)

Softcover Book USD 74.99

Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Book Title: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Editors: A. S. Troelstra
Series Title: Lecture Notes in Mathematics
DOI: https://doi.org/10.1007/BFb0066739
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1973
Softcover ISBN: 978-3-540-06491-6Published: 14 November 1973
eBook ISBN: 978-3-540-37806-8Published: 15 November 2006
Series ISSN: 0075-8434
Series E-ISSN: 1617-9692
Edition Number: 1
Number of Pages: XX, 488
Topics: Mathematical Logic and Foundations