Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics (306), Band 306)
von
Horst Luckhardt
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-06119-9
ISBN-10: 3-540-06119-3
Springer
· 2009
