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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|