Prisco C. — Methods in mathematical logic. Proc. of 6th Latin American Symposium on Mathematical Logic, Caracas, Venezuela, 1983 (LNM1130, Springer 1985)
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Methods in mathematical logic. Proc. of 6th Latin American Symposium on Mathematical Logic, Caracas, Venezuela, 1983 (LNM1130, Springer 1985)