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.
A course in model theory / Katrin Tent, Martin Ziegler
| A course in model theory / Katrin Tent, Martin Ziegler |
| Autore | Tent, Katrin |
| Pubbl/distr/stampa | Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 |
| Descrizione fisica | X, 248 p. ; 24 cm. |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] |
| ISBN | 978-05-217-6324-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0102407 |
Tent, Katrin
|
||
| Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course in model theory / Katrin Tent, Martin Ziegler
| A course in model theory / Katrin Tent, Martin Ziegler |
| Autore | Tent, Katrin |
| Pubbl/distr/stampa | Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 |
| Descrizione fisica | X, 248 p. ; 24 cm. |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] |
| ISBN | 978-05-217-6324-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0102407 |
|
Tent, Katrin
|
||
| Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
A course in model theory / Katrin Tent, Martin Ziegler
| A course in model theory / Katrin Tent, Martin Ziegler |
| Autore | Tent, Katrin |
| Pubbl/distr/stampa | Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 |
| Descrizione fisica | X, 248 p. ; 24 cm |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] |
| ISBN | 978-05-217-6324-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0102407 |
|
Tent, Katrin
|
||
| Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course in model theory / Katrin Tent, Martin Ziegler
| A course in model theory / Katrin Tent, Martin Ziegler |
| Autore | Tent, Katrin |
| Pubbl/distr/stampa | Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 |
| Descrizione fisica | X, 248 p. ; 24 cm |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03B10 - Classical first-order logic [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 978-05-217-6324-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00102407 |
|
Tent, Katrin
|
||
| Cambridge ; New York, : Cambridge University, : Association for Symbolic Logic, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The bulletin of symbolic logic
| The bulletin of symbolic logic |
| Pubbl/distr/stampa | Champaign, Ill., : Association for Symbolic Logic, 1995- |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Symbolische logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1943-5894 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206889503316 |
| Champaign, Ill., : Association for Symbolic Logic, 1995- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The bulletin of symbolic logic
| The bulletin of symbolic logic |
| Pubbl/distr/stampa | Champaign, Ill., : Association for Symbolic Logic, 1995- |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Symbolische logica Lògica Lògica matemàtica |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1943-5894 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910140768203321 |
| Champaign, Ill., : Association for Symbolic Logic, 1995- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
General Algebraic Semantics for Sentential Logics, 2nd Edition
| General Algebraic Semantics for Sentential Logics, 2nd Edition |
| Pubbl/distr/stampa | Association for Symbolic Logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482879703321 |
| Association for Symbolic Logic | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Godel '96 : logical foundations of mathematics, computer science, and physics - Kurt Godel's Legacy / edited by Petr Hajek
| Godel '96 : logical foundations of mathematics, computer science, and physics - Kurt Godel's Legacy / edited by Petr Hajek |
| Pubbl/distr/stampa | Natick (MA) : Association for Symbolic Logic, c1996 |
| Descrizione fisica | VIII, 322 p. ; 24 cm |
| Collana | Lecture notes in logic |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 1-56881-153-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001028380403321 |
| Natick (MA) : Association for Symbolic Logic, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of logic and analysis
| Journal of logic and analysis |
| Pubbl/distr/stampa | [Poughkeepsie, N.Y.?], : Association for Symbolic Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical analysis |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139806203321 |
| [Poughkeepsie, N.Y.?], : Association for Symbolic Logic | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of logic and analysis
| Journal of logic and analysis |
| Pubbl/distr/stampa | [Poughkeepsie, N.Y.?], : Association for Symbolic Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical analysis |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996205748603316 |
| [Poughkeepsie, N.Y.?], : Association for Symbolic Logic | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
