top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 Periodical
periodicals.
Periodicals.
Périodiques.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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.
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
Opac: Controlla la disponibilità qui