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 | ||
![]() | ||
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 | ||
![]() | ||
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 | ||
![]() | ||
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 | ||
![]() | ||
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
![]() |
||
![]() | ||
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Modal quantifiers : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 14 december 1995, te 10:30 uur / Natalia Albertovna Alechina |
Autore | Alechina, Natalia Albertovna |
Pubbl/distr/stampa | Amsterdam, : Institute for Logic, Language and Computation, 1995 |
Descrizione fisica | VI, 126 p. ; 24 cm |
Soggetto topico |
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN | 90-7479-541-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
dut
eng |
Record Nr. | UNICAMPANIA-VAN0090785 |
Alechina, Natalia Albertovna
![]() |
||
Amsterdam, : Institute for Logic, Language and Computation, 1995 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Modal quantifiers : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 14 december 1995, te 10:30 uur / Natalia Albertovna Alechina |
Autore | Alechina, Natalia Albertovna |
Edizione | [Amsterdam : Institute for Logic] |
Descrizione fisica | Universiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato. |
Soggetto topico |
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN | 90-7479-541-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
dut
eng |
Record Nr. | UNICAMPANIA-SUN0090785 |
Alechina, Natalia Albertovna
![]() |
||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model Theory / W. Hodges |
Autore | Hodges, Wilfrid |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1993 |
Descrizione fisica | XIII, 772 p. : ill. ; 24 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN |
05-213-0442-3
978-05-213-0442-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055925 |
Hodges, Wilfrid
![]() |
||
Cambridge, : Cambridge university, 1993 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model Theory / W. Hodges |
Autore | Hodges, Wilfrid |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1993 |
Descrizione fisica | XIII, 772 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] |
ISBN |
05-213-0442-3
978-05-213-0442-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055925 |
Hodges, Wilfrid
![]() |
||
Cambridge, : Cambridge university, 1993 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|