Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

author

Новиков П. С.

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

← references · 7

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

← cites · 7

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