Lataa...
Extensional Godel functional intepretation: A consistency of proof of classical analysis
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
Berlin
Springer-Verlag
1973
|
| Aiheet: |
UL
| Hyllypaikka: |
517.5 LUC |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |