517 Ш 477 Шенфилд, Джозеф . Математическая логика : перевод с английского / Д. Р. Шенфилд ; пер.: И. А. Лавров, И. А. Мальцев ; ред. Ю. Л. Ершов. - Москва : Наука, 1975. - 527 с. - (Математическая логика и основания математики). - 2.16 р., 2.16 р.
Кл.слова (ненормированные): ТЕОРИЯ АЛГОРИТМОВ -- ТЕОРИЯ ПЕРВОГО ПОРЯДКА -- ТЕОРИЯ РЕКУРСИИ -- ФОРМАЛЬНАЯ АРИФМЕТИКА -- АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ Доп.точки доступа: Лавров, И. А. \пер.\; Мальцев, И. А. \пер.\; Ершов, Ю. Л. \ред.\ Экземпляры всего: 2 Х (1), АБЗ (1) Свободны: Х (1), АБЗ (1) |