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)
Admissible sets and structures : an approach to definability theory / Jon Barwise
Admissible sets and structures : an approach to definability theory / Jon Barwise
Autore Barwise, Jon
Pubbl/distr/stampa Berlin : Springer-Verlag, 1975
Descrizione fisica xiii, 394 p. ; 25 cm.
Disciplina 511.3
Collana Perspectives in mathematical logic
Soggetto topico Admissible sets
Definability theory
Interpolation
ISBN 3540074511
Classificazione AMS 03C
AMS 03C40
AMS 03D
QA9.B29
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000645929707536
Barwise, Jon  
Berlin : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy
Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy
Autore Mal'cev, Arkadii A.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1973
Descrizione fisica xii, 317 p. : ill. ; 24 cm.
Disciplina 511.3
Collana Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 192
Soggetto topico Abstract algebra
Model theory
Quasivarieties
Symbolic logic
Varieties
ISBN 3540057927
Classificazione AMS 03C
AMS 08B
AMS 08C15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000662539707536
Mal'cev, Arkadii A.  
Berlin ; New York : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Around classification theory of models [e-book] / by Saharon Shelah
Around classification theory of models [e-book] / by Saharon Shelah
Autore Shelah, Saharon
Pubbl/distr/stampa Berlin : Springer, 1986
Descrizione fisica 1 online resource (279 p.)
Disciplina 511.3
Collana Lecture Notes in Mathematics, 0075-8434 ; 1182
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540397885
Classificazione AMS 03C
AMS 03E
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002214959707536
Shelah, Saharon  
Berlin : Springer, 1986
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Around classification theory of models / Saharon Shelah
Around classification theory of models / Saharon Shelah
Autore Shelah, Saharon
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, c1986
Descrizione fisica v, 279 p. ; 24 cm.
Disciplina 511.3
Collana Lecture notes in mathematics, 0075-8434 ; 1182
Soggetto topico Model theory
Set theory
ISBN 3540164480
Classificazione AMS 03C
AMS 03E
QA3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000698849707536
Shelah, Saharon  
Berlin ; New York : Springer-Verlag, c1986
Materiale a stampa
Lo trovi qui: Univ. del Salento
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, 1977
Descrizione fisica vii, 143 p. ; 25 cm.
Disciplina 511.3
Collana Oxford logic guides
Soggetto topico Completeness theorem
Model theory
ISBN 0198531575
Classificazione AMS 03C
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000716569707536
Bridge, Jane  
Oxford : Clarendon Press, 1977
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Classification theory [e-book] : proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, dec. 15-19, 1985 / edited by John T. Baldwin
Classification theory [e-book] : proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, dec. 15-19, 1985 / edited by John T. Baldwin
Pubbl/distr/stampa Berlin : Springer, 1987
Descrizione fisica 1 online resource (vi, 500 p.)
Disciplina 511.3
Altri autori (Persone) Baldwin, John T.
Collana Lecture Notes in Mathematics, 0075-8434 ; 1292
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540480495
Classificazione AMS 03C
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002245669707536
Berlin : Springer, 1987
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Combinatorial functors / J. N. Crossley, Anil Nerode
Combinatorial functors / J. N. Crossley, Anil Nerode
Autore Crossley, John N.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1974
Descrizione fisica viii, 146 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Nerode, Anilauthor
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 81
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 81 = A series of modern surveys in mathematics, 0071-1136 ; 81
Soggetto topico Combinatorial analysis
Functor theory
Model theory
Recursion theory
ISBN 3540064281
Classificazione AMS 03C
AMS 03D
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000755499707536
Crossley, John N.  
Berlin ; New York : Springer-Verlag, 1974
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Complete theories / Abraham Robinson
Complete theories / Abraham Robinson
Autore Robinson, Abraham
Edizione [2d ed. /]
Pubbl/distr/stampa Amsterdam : North-Holland, 1977
Descrizione fisica x, 129 p. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X
Soggetto topico Algebraic fields
Graph theory
Model theory
ISBN 0720406900
Classificazione AMS 03C
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000766899707536
Robinson, Abraham  
Amsterdam : North-Holland, 1977
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The core model / A. Dodd
The core model / A. Dodd
Autore Dodd, A.
Pubbl/distr/stampa Cambridge [England] : Cambridge University Press, 1982
Descrizione fisica xxxviii, 229 p. ; 23 cm
Disciplina 511.322
Collana London Mathematical Society lecture note series, 0076-0552 ; 61
Soggetto topico Axiomatic set theory
ISBN 0521285305
Classificazione AMS 03C
QA248
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000794429707536
Dodd, A.  
Cambridge [England] : Cambridge University Press, 1982
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Cours de logique mathématique / Roland Fraisse
Cours de logique mathématique / Roland Fraisse
Autore Fraisse, Roland
Edizione [2me éd. rev. et modif]
Pubbl/distr/stampa Paris : Gauthier-Villars, 1971-1972
Descrizione fisica 3 t. ; 23 cm.
Disciplina 511.3
Collana Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 23
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 24
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 25
Soggetto topico Mathematical logic-textbooks
Model theory
Classificazione AMS 03-01
AMS 03C
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISALENTO-991000797079707536
Fraisse, Roland  
Paris : Gauthier-Villars, 1971-1972
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui