|
|
 |
| Результат поиска |
Поиск книг, содержащих: Heyting algebra
| Книга | Страницы для поиска | | Majid S. — Foundations of Quantum Group Theory | 279 | | MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 48, 50ff, 114 | | Isham J. — Modern Differential Geometry for Physics | 42 | | Gierz G., Hofmann K.H., Keimel K. — Continuous Lattices and Domains | 30 O—3.16 (see also “Frame”) | | Johnstone P. — Stone Spaces | I 1.10 8 | | Winter M. — Goguen Categories: A Categorical Approach to L-Fuzzy Relations | 18 | | Burris S., Sankappanavar H.P. — A Course in Universal Algebra | 28 | | Borceux F., van den Bossche G. — Algebra in a Localic Topos with Applications to Ring Theory | 2 | | Barr M., Wells C. — Toposes, Triples and Theories | 191 | | Goldblatt R. — Topoi | 183 | | Borceux F. — Handbook of Categorical Algebra 3 | II.300, 5 | | Jacobs B. — Categorical Logic and Type Theory | xvi | | Pedicchio M. C., Tholen W. — Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory | I.24, II.53 | | Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | A1.5.11 | | Borceux F. — Handbook of Categorical Algebra: Categories and Structures, Vol. 2 | 300 | | Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative | 143 | | Johnstone P.T. — Topos Theory | 137 | | Curry H.B. — Foundations of Mathematical Logic | 163 | | Hazewinkel M. — Handbook of Algebra (часть 1) | 524 | | Szabo M. E. — Algebra of proofs | 148 | | Curry H.B. — Foundations of mathematical logic | 163 | | Mac Lane S. — Mathematics: Form and Function | 402 | | Isham C. — Modern Differential Geometry for Physicists | 42 | | Truss J.K. — Foundations of Mathematical Analysis | 321, 328 | | Truss J. — Foundations of mathematical analysis | 321, 328 | | J. K. Truss — Foundations of mathematical analysis MCet | 321, 328 |
|
|
|
|
О проекте