Extensional Gvdel Functional Interpretation
Subtitle: A Consistensy Proof of Classical Analysis (Recent Results in Cancer Research,)
Publisher: Springer
Published: February 1973
Language: eng
Number of pages: 161
ISBN-13: 9780387061191