Extensional Gödel Functional Interpretation 6E555NTR6Z
| URI | m2://res/6E555NTR6Z |
|---|---|
| Kind | monograph |
| Creators | Horst Luckhardt |
| Date | 1973 |
| MSC | 03F99, 03-02 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1973 |
| Ids | DOI 10.1007/bfb0060871, zbl 0262.02031, zbl_id 3412609 |
- m1: print, Springer Berlin Heidelberg, 1973 (record). isbn 9783540061199, isbn 9783540382836
Relations
- part_of Lecture Notes in Mathematics
Cited by
- ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
- ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
- ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Catalogue records
- springer-series: 10.1007/bfb0060871 (work)
- zbmath_search: 3412609 (work)