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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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, Anil author |
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|