TY - BOOK AU - Шенфилд Дж TI - Математическая логика. /Математическая логика и основания математики U1 - 510 PY - 1975/// CY - М. PB - Наука ER -