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 J38YE2MQ8W
| URI | m2://res/J38YE2MQ8W |
|---|---|
| Kind | monograph |
| Creators | Chantal Berline (editor), Kenneth McAloon (editor), Jean-Pierre Ressayre (editor) |
| Date | 1981 |
| MSC | 00Bxx, 03-06 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1981 |
| Ids | DOI 10.1007/bfb0095651, zbl 0465.00004, zbl_id 3728189 |
- m1: print, Springer Berlin Heidelberg, 1981 (record). isbn 9783540111597, isbn 9783540386292
Relations
- part_of Lecture Notes in Mathematics
References
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- The Computational Complexity of Logical Theories (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
Catalogue records
- springer-series: 10.1007/bfb0095651 (work)
- zbmath_search: 3728189 (work)