Математика и математические науки. Логика
Чёрч А. Введение в математическую логику
Чёрч А. Введение в математическую логику / А. Чёрч ; под. ред. В. А. Успенского ; пер. с англ. В. С. Чернявского. – М. : Иностранная литература, 1960. – 242 с. – Парал. тит. англ.
Только авторизованные читатели могут просмотреть файл