ISILC logic conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp and K. Potthoff |
Autore | International summer institute and logic colloquium : <1974 |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
Descrizione fisica | IV, 651 p. ; 24 cm |
Disciplina | 160 |
Collana | Lecture notes in mathematics |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 3-540-07534-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001037170403321 |
International summer institute and logic colloquium : <1974 | ||
Berlin ; New York : Springer-Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel 1974 / edited G. H. Muller, A. Oberschelp, K. Potthoff |
Autore | International summer institute and logic colloquium : <1974 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1975 |
Descrizione fisica | IV, 651 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico |
Logica simbolica - Congressi
Logica matematica - Congressi Insiemi - Teoria - Congressi |
ISBN | 3-540-07534-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000014688 |
International summer institute and logic colloquium : <1974 | ||
Berlin [etc.] : Springer, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
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, G. H. Muller |
Autore | International summer institute and logic colloquium : <1974 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1975 |
Descrizione fisica | VIII, 383 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico | Teoria della dimostrazione - Congressi |
ISBN | 3-540-07533-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Proof theory symposion Kiel 1974 |
Record Nr. | UNIBAS-000014687 |
International summer institute and logic colloquium : <1974 | ||
Berlin [etc.] : Springer, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|