Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979
Guardado en:
| Autor Corporativo: | Conference on Applications of Logic to Algebra and Arithmetic :Karpacz, Pologne |
|---|---|
| Otros Autores: | Pacholski, Leszek, 19...- (Director de publicación), Wierzejewski, J©edrzej, 19..- (Director de publicación), Wilkie, Alex J., 1948- (Director de publicación) |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in mathematics
834 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Une contribution en français Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Model theory of algebra and arithmetic, proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, 1980, Berlin [etc.], Springer-Verlag, 1 volume (VI- 410 p.), Lecture notes in mathematics, 0-387-10269-8 • Model Theory of Algebra and Arithmetic, Texte imprimé, 9783662187937 |
Ejemplares similares
-
Introduction to model theory and to the metamathematics of algebra
(Livre papier)
Robinson, Abraham, 1918-1974, mathématicien
North-Holland Publishing Company, 1965 -
Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
(Livre numérique)
Berline, Chantal, mathématicienne -
Metamathematical investigation of intuitionistic arithmetic and analysis
(Livre numérique)
Troelstra, Anne Sjerp - Model Theory and Algebraic Geometry : An introduction to E. Hrushovski s proof of the geometric Mordell-Lang conjecture (Livre numérique)
-
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
(Livre papier)
Keisler, Howard Jerome, 1936-
North-Holland, 1971

