The Logic of Provability/

Сохранить в:
Библиографические подробности
Главный автор: Boolos, George
Формат: ‌
Язык:английский
Опубликовано: Cambridge: Univ. Pr.; c1993.
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!