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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Boolos, G.



КнигаСтраницы для поиска
Rips J.L. — The psychology of proof: deductive reasoning in human thinking67,408n2
Wolter F., Wansing H., Вe Rijke M. — Advances in modal logic (vol.3)1
Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 751, 75
Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures71, 73—77, 193;
Savitch W.J., Marsh W., Bach M. (eds.) — Formal Complexity of Natural Language348
Barwise J. (ed.) — Handbook of Mathematical Logic642, 644, 649, 668, 671
Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics137, 8
Franzén T. — G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse143
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.113, 122, 143, 475—477, 485, 487, 488, 490, 494, 495, 532, 533, 542
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming18, 33, 56, 168
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте