TY - BOOK AU - Подниекс,К.М. TI - Вокруг теоремы Геделя PY - 1981/// CY - Рига PB - Латвийский государственный университет им. П. Стучки KW - Логика N1 - Библиогр. с.103-104 ER -