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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Course-of-values recursion

Книга	Страницы для поиска
Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics	270
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic	137, 251
Hinman P.G. — Fundamentals of Mathematical Logic	336, 484
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science	62—63
Elliott Mendelson — Introduction to mathematical logic	146
Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext)	174

О проекте