Llwytho...
Extensional godel functional interpretation
| Prif Awdur: | |
|---|---|
| Fformat: | Printed Book |
| Cyhoeddwyd: |
Springer-Verlag, Berlin
1973
|
| Cyfres: | Lecture Notes in Mathematics, No.0306
|
| Pynciau: |
| Prif Awdur: | |
|---|---|
| Fformat: | Printed Book |
| Cyhoeddwyd: |
Springer-Verlag, Berlin
1973
|
| Cyfres: | Lecture Notes in Mathematics, No.0306
|
| Pynciau: |