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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Buchholz W. — Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies	81
Barwise J. (ed.) — Handbook of Mathematical Logic	253
Gentzen G. — The collected papers of Gerhard Gentzen	54, 71, cf. also "Minimal formula", "Prime formula"
Shoenfield J.R. — Mathematical Logic	26

О проекте