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)
Introduction to mathematical logic : set theory computable functions model theory / J. Malitz
Introduction to mathematical logic : set theory computable functions model theory / J. Malitz
Autore Malitz, Jerome
Pubbl/distr/stampa New York : Springer-Verlag, 1979
Descrizione fisica XII, 198 p. ; 24 cm
Disciplina 511.3
Collana Undergraduate texts in mathematics
ISBN 0-387-90346-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000852910403321
Malitz, Jerome  
New York : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Edizione [Repr]
Pubbl/distr/stampa New York, : Springer, 1979 [stampa 1987]
Descrizione fisica XII, 198 p. ; 25 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-03-87903-46-0
03-87903-46-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0052412
Malitz, Jerome  
New York, : Springer, 1979 [stampa 1987]
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Edizione [Repr]
Pubbl/distr/stampa New York, : Springer, 1979 [stampa 1987]
Descrizione fisica XII, 198 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Computability theory
Mathematical logic
Model theory
Proofs
Set Theory
ISBN 03-87903-46-1
978-03-87903-46-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0052412
Malitz, Jerome  
New York, : Springer, 1979 [stampa 1987]
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Pubbl/distr/stampa New York, : Springer, 1979
Descrizione fisica xii, 198 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
Soggetto non controllato Compactness theorem
Computability theory
Mathematical logic
Model theory
Proofs
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0268273
Malitz, Jerome  
New York, : Springer, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Pubbl/distr/stampa New York : Springer-Verlag, 1979
Descrizione fisica xii, 198 p. ; 25 cm.
Disciplina 511.3
Collana Undergraduate texts in mathematics, ISSN 01726056
Soggetto topico Symbolic logic
ISBN 0387903461
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001020869707536
Malitz, Jerome  
New York : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui