|
|
 |
| Результат поиска |
Поиск книг, содержащих: Macintyre, A.
| Книга | Страницы для поиска | | van der Dries L. — Tame topology and O-minimal structures | vii, 9, 91 | | Talbott W.J. — Which Rights Should Be Universal? | 45, 195 n. 8 | | Matijasevich Y. — Hilbert's 10th Problem | 197, 239 | | Burris S., Sankappanavar H.P. — A Course in Universal Algebra | 289 | | Marker D. — Model theory: An introduction | 69, 112, 113, 258, 288 | | Barwise J. (ed.) — Handbook of Mathematical Logic | 93, 94, 103, 139, 142, 152, 159 | | Hazewinkel M. — Handbook of Algebra (part 2) | 292 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 210 | | Kaye R. — Models of Peano Arithmetic | 267, 268, 270, 274 | | Chandler B., Magnus W. — The history of combinatorial group theory: a case study in the history of ideas | 185 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 545 | | Lyndon R., Schupp P. — Combinatorial Group Theory (Classics in Mathematics) | 231, 234 |
|
|
|
|
О проекте