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: |
| Huomautukset: | |
|---|---|
| Ulkoasu: | vi,161p. |