Поиск книг, содержащих Quantification theory :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Levitz K., Levitz H. — Logic and Boolean Algebra	48
Kneale M. — Development of Logic	295
Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13)	23
Copi I.M., Cohen C. — Introduction to logic	324—353
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science	375—415
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof	45

О проекте