|
|
 |
| Результат поиска |
Поиск книг, содержащих: Language, first-order
| Книга | Страницы для поиска | | Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 1) | 23 | | Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic | 9, 15 | | MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 527 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 28 | | Goldblatt R. — Topoi | 231, 234 | | Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | D1.1.1 | | Hinman P.G. — Fundamentals of Mathematical Logic | 86, 550 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 9, 15 | | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 9, 15 |
|
|
|
|
О проекте