Introduction to model theory / Philipp Rothmaler |
Autore | Rothmaler, Philipp |
Pubbl/distr/stampa | Amsterdam, : Gordon & Breach, 2000 |
Descrizione fisica | XVI, 305 p. ; 25 cm. |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN | 978-90-569-9287-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0052259 |
Rothmaler, Philipp | ||
Amsterdam, : Gordon & Breach, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to model theory / Philipp Rothmaler |
Autore | Rothmaler, Philipp |
Pubbl/distr/stampa | Amsterdam, : Gordon & Breach, 2000 |
Descrizione fisica | XVI, 305 p. ; 25 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN | 978-90-569-9287-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0052259 |
Rothmaler, Philipp | ||
Amsterdam, : Gordon & Breach, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to model theory / Philipp Rothmaler |
Autore | Rothmaler, Philipp |
Pubbl/distr/stampa | Amsterdam, : Gordon & Breach, 2000 |
Descrizione fisica | XVI, 305 p. ; 25 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN | 978-90-569-9287-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00052259 |
Rothmaler, Philipp | ||
Amsterdam, : Gordon & Breach, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla teoria dei modelli / Annalisa Marcja, Carlo Toffalori |
Autore | Marcja, Annalisa |
Pubbl/distr/stampa | Bologna, : Pitagora, 1998 |
Descrizione fisica | V, 250 p. ; 24 cm. |
Altri autori (Persone) | Toffalori, Carlo |
Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN | 88-371-1015-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-SUN0063380 |
Marcja, Annalisa | ||
Bologna, : Pitagora, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla teoria dei modelli / Annalisa Marcja, Carlo Toffalori |
Autore | Marcja, Annalisa |
Pubbl/distr/stampa | Bologna, : Pitagora, 1998 |
Descrizione fisica | V, 250 p. ; 24 cm |
Altri autori (Persone) | Toffalori, Carlo |
Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN | 978-88-371-1015-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-VAN0063380 |
Marcja, Annalisa | ||
Bologna, : Pitagora, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla teoria dei modelli / Annalisa Marcja, Carlo Toffalori |
Autore | Marcja, Annalisa |
Pubbl/distr/stampa | Bologna, : Pitagora, 1998 |
Descrizione fisica | V, 250 p. ; 24 cm |
Altri autori (Persone) | Toffalori, Carlo |
Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN | 978-88-371-1015-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-VAN00063380 |
Marcja, Annalisa | ||
Bologna, : Pitagora, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson |
Autore | Robinson, Abraham |
Pubbl/distr/stampa | Torino, : Boringhieri, 1974 |
Descrizione fisica | 334 p. ; 21 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN | 978-88-339-5340-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0052383 |
Robinson, Abraham | ||
Torino, : Boringhieri, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson |
Autore | Robinson, Abraham |
Pubbl/distr/stampa | Torino, : Boringhieri, 1974 |
Descrizione fisica | 334 p. ; 21 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN | 978-88-339-5340-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00052383 |
Robinson, Abraham | ||
Torino, : Boringhieri, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson |
Autore | Robinson, Abraham |
Edizione | [Torino : Boringhieri, 1974] |
Descrizione fisica | Trad. di Silvio Bozzi |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN | 978-88-339-5340-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-SUN0052383 |
Robinson, Abraham | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
Autore | Lightstone, Albert H. |
Pubbl/distr/stampa | New York, : Plenum, 1978 |
Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 03B05 - Classical propositional logic [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268201 |
Lightstone, Albert H. | ||
New York, : Plenum, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|