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)
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
Autore Diaconescu Răzvan
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Basel ; ; Boston, : Birkhäuser, c2008
Descrizione fisica 1 online resource (386 p.)
Disciplina 511.3
511.34
Collana Studies in universal logic
Soggetto topico Model theory
Logic, Symbolic and mathematical
Soggetto genere / forma Electronic books.
ISBN 1-281-86259-2
9786611862596
3-7643-8708-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming.
Record Nr. UNINA-9910451723903321
Diaconescu Răzvan  
Basel ; ; Boston, : Birkhäuser, c2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
Autore Diaconescu Răzvan
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Basel ; ; Boston, : Birkhäuser, c2008
Descrizione fisica 1 online resource (386 p.)
Disciplina 511.3
511.34
Collana Studies in universal logic
Soggetto topico Model theory
Logic, Symbolic and mathematical
ISBN 1-281-86259-2
9786611862596
3-7643-8708-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming.
Record Nr. UNINA-9910782098603321
Diaconescu Răzvan  
Basel ; ; Boston, : Birkhäuser, c2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui