|
|
 |
| Результат поиска |
Поиск книг, содержащих: Elementary topos
| Книга | Страницы для поиска | | MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 48, 161ff, 591 | | Lawvere F.W., Rosebrugh R. — Sets for Mathematics | 111 | | Pedicchio M. C., Tholen W. — Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory | I.5, VII.330 | | Barwise J. (ed.) — Handbook of Mathematical Logic | 302 | | Lane S.M. — Mathematics, form and function | 400 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 768 | | Hazewinkel M. — Handbook of Algebra (часть 1) | 503, 504, 531 | | Szabo M. E. — Algebra of proofs | 194 |
|
|
|
|
О проекте