Llwytho...
Extensional Godel functional intepretation: A consistency of proof of classical analysis
Prif Awdur: | |
---|---|
Fformat: | Printed Book |
Iaith: | English |
Cyhoeddwyd: |
Berlin
Springer-Verlag
1973
|
Pynciau: |
UL
Rhif Galw: |
517.5 LUC |
---|---|
Copi | Nid yw'r Statws Byw ar Gael |