top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Beweistheorie / von Kurt Schutte
Beweistheorie / von Kurt Schutte
Autore Schütte, Kurt
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1960
Descrizione fisica X, 355 p. ; 24 cm
Disciplina 160
Collana Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNINA-990001058400403321
Schütte, Kurt  
Berlin [etc.] : Springer-Verlag, 1960
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Contributions to Mathematical Logic / by Schmidt Arnold ; Schutte ; Thiele
Contributions to Mathematical Logic / by Schmidt Arnold ; Schutte ; Thiele
Autore Schmidt, Hermann Arnold
Pubbl/distr/stampa Amsterdam : North-Holland, 1968
Descrizione fisica Studies in logic and the foundations of mat hematics
Altri autori (Persone) Thiele, Helmut J.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001281730403321
Schmidt, Hermann Arnold  
Amsterdam : North-Holland, 1968
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Nvollstandige systeme modalre und intuitionistischer logik / di SCHUTTE KURT
Nvollstandige systeme modalre und intuitionistischer logik / di SCHUTTE KURT
Autore Schütte, Kurt
Pubbl/distr/stampa Berlin : Springer-Verlag, 1968
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001194250403321
Schütte, Kurt  
Berlin : Springer-Verlag, 1968
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proof Theory / Kurt Schutte ; translation from the German by J.N. Crossley
Proof Theory / Kurt Schutte ; translation from the German by J.N. Crossley
Autore Schütte, Kurt
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1977
Descrizione fisica xii, 299 p. ; 25 cm
Disciplina 160
Collana Die Grundlehren der mathematischen Wissenschaften
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-07911-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001058410403321
Schütte, Kurt  
Berlin [etc.] : Springer-Verlag, 1977
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proof Theory / Kurt Schütte ; Translation from the German by J. N. Crossley
Proof Theory / Kurt Schütte ; Translation from the German by J. N. Crossley
Autore Schütte, Kurt
Pubbl/distr/stampa Berlin, : Springer, 1977
Descrizione fisica xii, 302 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
Soggetto non controllato Calculation
Finite
Functions
Ordinals
Predicate logic
Proof Theory
Proofs
Type theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0260483
Schütte, Kurt  
Berlin, : Springer, 1977
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Proof Theory / Kurt Schütte ; Translation from the German by J. N. Crossley
Proof Theory / Kurt Schütte ; Translation from the German by J. N. Crossley
Autore Schütte, Kurt
Pubbl/distr/stampa Berlin, : Springer, 1977
Descrizione fisica xii, 302 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
Soggetto non controllato Calculation
Finite
Functions
Ordinals
Predicate logic
Proof Theory
Proofs
Type theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00260483
Schütte, Kurt  
Berlin, : Springer, 1977
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Vollstandige Systeme modaler und intuitionistischer Logik / Kurt Schutte
Vollstandige Systeme modaler und intuitionistischer Logik / Kurt Schutte
Autore Schütte, Kurt
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1968
Descrizione fisica VI, 87 p. ; 24 cm
Disciplina 160
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNINA-990001058420403321
Schütte, Kurt  
Berlin [etc.] : Springer-Verlag, 1968
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui