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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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-VAN00052412 |
|
Malitz, Jerome
|
||
| New York, : Springer, 1979 [stampa 1987] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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]
03Cxx - Model theory [MSC 2020] 03Exx - Set 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-VAN00268273 |
|
Malitz, Jerome
|
||
| New York, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||