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)
Aspects of constructibility / Keith J. Devlin
Aspects of constructibility / Keith J. Devlin
Autore Devlin, Keith J.
Pubbl/distr/stampa Berlin [etc.] : Springer, 1973
Descrizione fisica XII, 240 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Insiemi - Teoria
Teoria dei modelli
ISBN 3-540-06522-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013483
Devlin, Keith J.  
Berlin [etc.] : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Axiom of choice / Horst Herrlich
Axiom of choice / Horst Herrlich
Autore HERRLICH, Horst
Pubbl/distr/stampa Berlin : Springer, [2006]
Descrizione fisica XIV, 194 p. : ill. ; 24 cm
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Assioma della Scelta
Teoria dei modelli
Logica Matematica
ISBN 3-540-30989-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione und
Record Nr. UNISA-990002967920203316
HERRLICH, Horst  
Berlin : Springer, [2006]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Beginning model theory : The completeness theorem and some consequences / By Jane Bridge
Beginning model theory : The completeness theorem and some consequences / By Jane Bridge
Autore BRIDGE, Jane
Pubbl/distr/stampa Oxford : Clarendon press, 1978
Descrizione fisica VII, 143 p. ; 23 cm
Disciplina 511.8
Collana Oxford logic guide
Soggetto topico Teoria dei modelli
ISBN 0-19-853157-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003225460203316
BRIDGE, Jane  
Oxford : Clarendon press, 1978
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Elementi di statica / Bernardino D'Acunto, Paolo Massarotti
Elementi di statica / Bernardino D'Acunto, Paolo Massarotti
Autore D'Acunto, Berardino
Pubbl/distr/stampa Napoli, : De Frede, 2011
Descrizione fisica VI, 193 p. ; 24 cm + 1 CD-ROM
Disciplina 531
531.12
Altri autori (Persone) Massarotti, Paolo
Soggetto topico Statica
Teoria dei modelli
ISBN 9788889976012
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISANNIO-NAP0520015
D'Acunto, Berardino  
Napoli, : De Frede, 2011
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Elementi di statica / Bernardino D'Acunto, Paolo Massarotti
Elementi di statica / Bernardino D'Acunto, Paolo Massarotti
Autore D'Acunto, Berardino
Pubbl/distr/stampa Napoli, : De Frede, [2002]
Descrizione fisica VI, 193 p. ; 24 cm + 1 CD-ROM
Disciplina 531
531.12
Altri autori (Persone) Massarotti, Paolo
Soggetto topico Teoria dei modelli
Statica
ISBN 9788889976012
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISANNIO-UFE0645381
D'Acunto, Berardino  
Napoli, : De Frede, [2002]
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Essential stability theory / Steven Buechler
Essential stability theory / Steven Buechler
Autore Buechler, Steven
Pubbl/distr/stampa Berlino [etc.] : Springer, c1996
Descrizione fisica XIV, 355 p. ; 24 cm.
Disciplina 511.3
Collana Perspectives in Mathematical Logic
Soggetto topico Logica matematica
Teoria dei modelli
ISBN 3-540-61011-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011162
Buechler, Steven  
Berlino [etc.] : Springer, c1996
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa Berlino [etc.] : Springer, c1995
Descrizione fisica XV, 327 p. : ill. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Flum, Jörg
Collana Perspectives in Mathematical Logic
Soggetto topico Teoria dei modelli
Logica matematica
ISBN 3-540-60149-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011241
Ebbinghaus, Heinz-Dieter  
Berlino [etc.] : Springer, c1995
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Finite structures with few types / Gregory Cherling and Ehud Hrushovski
Finite structures with few types / Gregory Cherling and Ehud Hrushovski
Autore Cherlin, Gregory
Pubbl/distr/stampa Oxford : Princeton University press, 2003
Descrizione fisica VI, 193 p. ; 20 cm
Disciplina 511.3
Collana Annals of mathematics studies
Soggetto topico Teoria dei modelli
Teoria dei gruppi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione und
Record Nr. UNISA-990001169100203316
Cherlin, Gregory  
Oxford : Princeton University press, 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes
Autore Makkai, Michael
Pubbl/distr/stampa Berlin [etc.] : Springer, 1977
Descrizione fisica VIII, 301 p. ; 25 cm.
Disciplina 512.55
Altri autori (Persone) Reyes, Gonzalo E.
Collana Lecture notes in mathematics
Soggetto topico Teoria dei modelli
Categoria (matematica)
ISBN 3-540-08439-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013253
Makkai, Michael  
Berlin [etc.] : Springer, 1977
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler
Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler
Autore Hirschfeld, Joram
Pubbl/distr/stampa Berlin [etc.] : Springer, 1975
Descrizione fisica VII, 266 p. ; 25 cm.
Disciplina 511.8
Altri autori (Persone) Wheeler, William H.
Collana Lecture notes in mathematics
Soggetto topico Teoria dei modelli
ISBN 3-540-07157-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013386
Hirschfeld, Joram  
Berlin [etc.] : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui