Info
ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65. Birthday : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by J. Diller and G. H. Müller
| ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65. Birthday : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by J. Diller and G. H. Müller |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | viii, 383 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Proof Theory
Proofs Type theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Record Nr. | UNICAMPANIA-VAN0256462 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65. Birthday : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by J. Diller and G. H. Müller
| ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65. Birthday : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by J. Diller and G. H. Müller |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | viii, 383 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Proof Theory
Proofs Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Record Nr. | UNICAMPANIA-VAN00256462 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 / edited by J. Diller and G.H. Müller ... [et al.]
| 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 / edited by J. Diller and G.H. Müller ... [et al.] |
| Autore | ISILC proof theory symposion : <1974 |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | VI, 383 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-07533-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000984430403321 |
ISILC proof theory symposion : <1974
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
⊨ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Muller
| ⊨ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Muller |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | viii, 383 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Schutte, Kurt
Diller, Justus Muller, Gert H. |
| Altri autori (Convegni) | International Summer Institute and Logic Colloquium <1974 ; Kiel> |
| Collana | Lecture notes in mathematics, 0075-8434 ; 500 |
| Soggetto topico |
Mathematical logic - Congresses
Proof theory - Congresses Schutte, Kurt-bibliography |
| ISBN | 354007533X |
| Classificazione |
AMS 03-06
AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001044929707536 |
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
⊨ISILC proof theory symposion [e-book] : dedicated to Kurt Schütte on the occasion of his 65th birthday proceedings of the international summer institute and logic colloquium, Kiel 1974 / edited by Justus Diller, Gert H. Müller
| ⊨ISILC proof theory symposion [e-book] : dedicated to Kurt Schütte on the occasion of his 65th birthday proceedings of the international summer institute and logic colloquium, Kiel 1974 / edited by Justus Diller, Gert H. Müller |
| Pubbl/distr/stampa | Berlin : Springer, 1975 |
| Descrizione fisica | 1 online resource (cd, 390 p.) |
| Disciplina | 510 |
| Altri autori (Persone) |
Diller, Justus
Müller, Gert H. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 500 |
| Soggetto topico | Mathematics |
| ISBN | 9783540380207 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002181609707536 |
| Berlin : Springer, 1975 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||