Mathematical logic and model theory : a brief introduction
Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound applic...
Uloženo v:
| Hlavní autoři: | Prestel, Alexander, 1941-...., mathématicien, Delzell, Charles N., 1953- (Autor), Delzell, Charles N. (Autor) |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
London :
Springer London
[20..].
Cham : Springer Nature |
| Vydání: | 1st ed. 2011. |
| Edice: | Universitext
|
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Description d'après consultation du 21 mai 2012 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical logic and model theory, a brief introduction, Alexander Prestel, Charles N. Delzell, London, Springer, 2011, 1 vol. (X-193), Universitext, 978-1-447-12175-6 • Mathematical logic and model theory, a brief introduction, Alexander Prestel, Charles N. Delzell, London, Springer, 2011, 1 vol. (X-193), Universitext, 978-1-447-12175-6 • Mathematical Logic and Model Theory, Texte imprimé, 9781447121770 • Mathematical Logic and Model Theory, Texte imprimé, 9781447174653 |
Podobné jednotky
-
Intuitionistic logic model theory and forcing
(Livre papier)
Fitting, Melvin Chris, 1942-
North-Holland, 1969 -
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
(Livre papier)
Keisler, Howard Jerome, 1936-
North-Holland, 1971 -
Positive Polynomials : From Hilbert s 17th Problem to Real Algebra
(Livre numérique)
Prestel, Alexander, 1941-...., mathématicien, a další -
Institution-independent Model Theory
(Livre numérique)
Diaconescu, Răzvan, 1964-
Birkhäuser, 2008 -
The logic of information structures
(Livre numérique)
Wansing, Heinrich, 1963-

