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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Smullyan R.M. — Godel's incompleteness theorems	57
Monk J.D. — Mathematical Logic	246
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic	39
Smullyan R.M. — Recursion Theory for Metamathematics	11
Hinman P.G. — Fundamentals of Mathematical Logic	352, 355, 376
Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory	40
Elliott Mendelson — Introduction to mathematical logic	162

О проекте