Введение в математическую логику /
Черч, А.
Введение в математическую логику / Introduction to mathematical logic А. Черч; В.А. Успенкий; Пер. В.С. Чернявского. - Москва : Иностранной литературы, 1960. - 485 с.
Математическая логика
Введение в математическую логику / Introduction to mathematical logic А. Черч; В.А. Успенкий; Пер. В.С. Чернявского. - Москва : Иностранной литературы, 1960. - 485 с.
Математическая логика