Encyclopedia of Math Encyclopedia sourcePublicationDocument

Введение в математическую логику

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

Данные

bibliographicCitation

Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971

author

Мендельсон Э.

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

← references · 5

Логическая аксиома Нормальный алгорифм Общерекурсивная функция Предваренная формула Пропозициональная форма

← cites · 5

Логическая аксиома Нормальный алгорифм Общерекурсивная функция Предваренная формула Пропозициональная форма