Laddar...
Extensional godel functional interpretation
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Printed Book |
| Publicerad: |
Springer-Verlag, Berlin
1973
|
| Serie: | Lecture Notes in Mathematics, No.0306
|
| Ämnen: |
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Printed Book |
| Publicerad: |
Springer-Verlag, Berlin
1973
|
| Serie: | Lecture Notes in Mathematics, No.0306
|
| Ämnen: |