|
|
 |
| Результат поиска |
Поиск книг, содержащих: Category, cartesian closed
| Книга | Страницы для поиска | | MacLane S. — Categories for the working mathematician | 95 | | MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 20, 46, 167, 598 | | Pierce B.C. — Basic category theory for computer scientists | 34, 53—57, 75 | | Borceux F. — Handbook of Categorical Algebra 3 | I.335, II.349 | | Pedicchio M. C., Tholen W. — Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory | VII.329 | | Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | A1.5.1 | | Troelstra A.S. — Basic proof theory | 203 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 62 | | Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative | 142 | | Johnstone P.T. — Topos Theory | 23 |
|
|
|
|
О проекте