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.
Mathematical logic : exercises and solutions / / Laszlo Csirmaz and Zalán Gyenis
| Mathematical logic : exercises and solutions / / Laszlo Csirmaz and Zalán Gyenis |
| Autore | Csirmaz László |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (322 pages) |
| Disciplina | 511.3 |
| Collana | Problem Books in Mathematics |
| Soggetto topico |
Model theory
Logic, Symbolic and mathematical Lògica matemàtica Teoria de models |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-79010-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466420003316 |
Csirmaz László
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical logic : exercises and solutions / / Laszlo Csirmaz and Zalán Gyenis
| Mathematical logic : exercises and solutions / / Laszlo Csirmaz and Zalán Gyenis |
| Autore | Csirmaz László |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (322 pages) |
| Disciplina | 511.3 |
| Collana | Problem Books in Mathematics |
| Soggetto topico |
Model theory
Logic, Symbolic and mathematical Lògica matemàtica Teoria de models |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-79010-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910552717003321 |
|
Csirmaz László
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic : an introduction to model theory / A.H. Lightstone
| Mathematical logic : an introduction to model theory / A.H. Lightstone |
| Autore | Lightstone, A.H. |
| Pubbl/distr/stampa | New York : Plenum Press, 1978 |
| Descrizione fisica | xiii, 338 p. ; 24 cm. |
| Soggetto topico |
Logic
Model theory |
| Classificazione |
510.02
511'.3 QA9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001071679707536 |
|
Lightstone, A.H.
|
||
| New York : Plenum Press, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.)
| Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.) |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Berlin ; Heidelberg ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | xvii, 486 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 344 |
| Soggetto topico |
Intuitionistic mathematics
Model theory Proof theory |
| ISBN | 3540064915 |
| Classificazione | AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001135329707536 |
|
Troelstra, A. S.
|
||
| Berlin ; Heidelberg ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theoretic algebra : selected topics / / G. Cherlin
| Model theoretic algebra : selected topics / / G. Cherlin |
| Autore | Cherlin Gregory L. <1948-> |
| Edizione | [1st ed. 1976.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1976] |
| Descrizione fisica | 1 online resource (VI, 238 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Algebra
Model theoretic algebra Model theory |
| ISBN | 3-540-38228-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic model theory -- Transfer theorems in algebra -- The ax-kochen-ershov transfer principle: (Diophantine problems over local fields) -- Existentially complete structures -- Existentially complete division rings -- Existentially complete modules -- Complete theories of abelian groups -- ?1-categorical fields. |
| Record Nr. | UNISA-996466493603316 |
|
Cherlin Gregory L. <1948->
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1976] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theoretic algebra : selected topics / Greg Cherlin
| Model theoretic algebra : selected topics / Greg Cherlin |
| Autore | Cherlin, Greg |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1976 |
| Descrizione fisica | iv, 232 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 521 |
| Soggetto topico |
Algebraic logic
Model theory |
| ISBN | 3540076964 |
| Classificazione | AMS 03G99 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001148879707536 |
|
Cherlin, Greg
|
||
| Berlin ; New York : Springer-Verlag, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theoretic algebra : with particular emphasis on fields, rings, modules / Christian U. Jensen, Helmut Lenzing
| Model theoretic algebra : with particular emphasis on fields, rings, modules / Christian U. Jensen, Helmut Lenzing |
| Autore | Jensen, Christian U. |
| Pubbl/distr/stampa | New York : Gordon and Breach Publ., 1989 |
| Descrizione fisica | xiii, 443 p. ; 24 cm. |
| Disciplina | 512 |
| Altri autori (Persone) | Lenzing, Helmutauthor |
| Collana | Algebra, logic, and applications ; 2 |
| Soggetto topico |
Algebra
Model theory |
| ISBN | 2881247172 |
| Classificazione |
AMS 03C
AMS 03C60 AMS 08C10 QA9.7.J46 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001148949707536 |
|
Jensen, Christian U.
|
||
| New York : Gordon and Breach Publ., 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory / C. C. Chang, H. J. Keisler
| Model theory / C. C. Chang, H. J. Keisler |
| Autore | Chang, Cheng Chung |
| Edizione | [3rd ed] |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1990 |
| Descrizione fisica | xvi, 650 p. ; 24 cm. |
| Disciplina | 511.8 |
| Altri autori (Persone) | Keisler, H. Jerome |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 73 |
| Soggetto topico | Model theory |
| ISBN | 0444880542 |
| Classificazione |
AMS 03C
QA9.7.K45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149719707536 |
|
Chang, Cheng Chung
|
||
| Amsterdam : North-Holland, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory / C. C. Chang, H. J. Keisler
| Model theory / C. C. Chang, H. J. Keisler |
| Autore | Chang, Cheng Chung |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1973 |
| Descrizione fisica | xii, 550 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Keisler, H. Jerome |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 73 |
| Soggetto topico | Model theory |
| Classificazione | AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149659707536 |
|
Chang, Cheng Chung
|
||
| Amsterdam : North-Holland, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory / Wilfrid Hodges
| Model theory / Wilfrid Hodges |
| Autore | Hodges, Wilfrid |
| Pubbl/distr/stampa | Cambridge [England] ; New York : Cambridge University Press, 1993 |
| Descrizione fisica | xiii, 772 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Encyclopedia of mathematics and its applications ; 42 |
| Soggetto topico | Model theory |
| ISBN | 0521304423 |
| Classificazione |
AMS 03C
QA9.7.H64 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149859707536 |
|
Hodges, Wilfrid
|
||
| Cambridge [England] ; New York : Cambridge University Press, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Soggetto topico
-
Model theory
(147)
- Set theory (14)
- Logic, Symbolic and mathematical (13)
- Toposes (7)
- Trees (Graph theory) (7)