TY - BOOK AU - Шенфилд, Джозеф AU - Лавров И.А. AU - Мальцев И.А. AU - Ершов Ю.Л. TI - Математическая логика T2 - Математическая логика и основания математики PY - 1975/// CY - Москва PB - Наука N1 - Пер. изд.: Mathematical logic / Joseph R. Shoenfield. Addison-Wesley, 1967; Предм. указ.: с. 520-527 UR - https://viewer.benran.ru/ru/ben01000332393 ER -