Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

Элементы математической логики, 2 изд

http://libmeta.ru/resource/mathenc/publication/p4178

Данные

bibliographicCitation

Новиков П. С., Элементы математической логики, 2 изд., М., 1973

автор

Новиков П. С.

Входящие связи

← ссылается на · 7

Арифметика формальная Логико-математические исчисления Математическая логика Подстановки правило Предикатов исчисление Равносильность Сколема функция

← цитирует · 7

Арифметика формальная Логико-математические исчисления Математическая логика Подстановки правило Предикатов исчисление Равносильность Сколема функция