Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 / edited by H. Arnold Schmidt, K. Schutte, H.-J. Thiele |
Autore | LOGIC COLLOQUIUM, Hannover, 1966 |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1968 |
Descrizione fisica | IX, 298 p. ; 23 cm |
Disciplina | 160 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001057770403321 |
LOGIC COLLOQUIUM, Hannover, 1966 | ||
Amsterdam : North-Holland, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Index Mathematischer Tafelwerke und Tabellen / K. Schutte |
Autore | Schutte, Karl |
Pubbl/distr/stampa | Munchen : Oldenbourg, 1966 |
Disciplina | 515 |
Soggetto non controllato | Matematica - Indice tavole |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001194230403321 |
Schutte, Karl | ||
Munchen : Oldenbourg, 1966 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Index Mathematischer Tafelwerke und Tabellen / K. Schutte |
Autore | Schutte, Karl |
Pubbl/distr/stampa | Berlin : Oldenbourg, 1955 |
Disciplina | 080 |
Soggetto non controllato |
Referenze
Who is who Elenchi vari |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-990001058430403321 |
Schutte, Karl | ||
Berlin : Oldenbourg, 1955 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ISILC proof theory symposium : 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 |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1975 |
Descrizione fisica | viii, 383 p. ; 24 cm |
Disciplina | 511.3 |
Collana | Lecture Notes in Mathematics |
Soggetto non controllato |
Teoria della ricorsivita'
Matematica intuitiva Matematici - 20. sec. - schutte k. - anniversari |
ISBN | 3-540-07533-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001205100403321 |
Berlin : Springer-Verlag, c1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proof Theory / by SCUTTE K. |
Autore | Schutte, Karl |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1977 |
Collana | Die Grundlehren der mathematischen Wissenschaften |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001194220403321 |
Schutte, Karl | ||
Berlin [etc.] : Springer-Verlag, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|