Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

Чёрч А., Введение в математическую логику, пер. с англ., М., 1960

author

Чёрч А.

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

← references · 7

Минимальное функциональное исчисление Непредикативное определение Правильная интерпретация Предикатная переменная Предложение Пропозициональное исчисление Синтаксис

← cites · 7

Минимальное функциональное исчисление Непредикативное определение Правильная интерпретация Предикатная переменная Предложение Пропозициональное исчисление Синтаксис