Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics (344), Band 344)
von
Anne S. Troelstra
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-06491-6
ISBN-10: 3-540-06491-5
Springer
· 2009
