Introduction to metamathematics

Библиографические подробности
Главный автор: Kleene, Stephen Cole 1909-1994
Формат:
Язык:English
Опубликовано: Amsterdam North-Holland 1971.
Предметы: