Новиков, Петр Сергеевич Элементы математической логики/ П. С. Новиков - Изд. 2-е, испр. - Москва: Наука, 1973. - 400 с. - Математическая логика и основания математики . Subjects--Topical Terms: Математика Subjects--Index Terms: Логика Dewey Class. No.: 517.11