Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Heyting algebra



КнигаСтраницы для поиска
Majid S. — Foundations of Quantum Group Theory279
MacLane S., Moerdijk L. — Sheaves in Geometry and Logic48, 50ff, 114
Isham J. — Modern Differential Geometry for Physics42
Gierz G., Hofmann K.H., Keimel K. — Continuous Lattices and Domains30 O—3.16 (see also “Frame”)
Johnstone P. — Stone SpacesI 1.10 8
Winter M. — Goguen Categories: A Categorical Approach to L-Fuzzy Relations18
Burris S., Sankappanavar H.P. — A Course in Universal Algebra28
Borceux F., van den Bossche G. — Algebra in a Localic Topos with Applications to Ring Theory2
Barr M., Wells C. — Toposes, Triples and Theories191
Goldblatt R. — Topoi183
Borceux F. — Handbook of Categorical Algebra 3II.300, 5
Jacobs B. — Categorical Logic and Type Theoryxvi
Pedicchio M. C., Tholen W. — Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf TheoryI.24, II.53
Johnstone P.T. — Sketches of an Elephant: A Topos Theory CompendiumA1.5.11
Rasiowa H. — An algebraic approach to non-classical logics (Studies in logic and the foundations of mathematics volume 78)52
Borceux F. — Handbook of Categorical Algebra: Categories and Structures, Vol. 2300
Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative143
Johnstone P.T. — Topos Theory137
Curry H.B. — Foundations of Mathematical Logic163
Hazewinkel M. — Handbook of Algebra (часть 1)524
Szabo M. E. — Algebra of proofs148
Curry H.B. — Foundations of mathematical logic163
Mac Lane S. — Mathematics: Form and Function402
Isham C. — Modern Differential Geometry for Physicists42
Truss J.K. — Foundations of Mathematical Analysis321, 328
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте