Загрузка...

Completeness, compactness and undecidability: an introduction to mathematical logic/

Библиографические подробности
Главный автор: Manaster, Alfred B
Формат: Printed Book
Язык:English
Опубликовано: Prentice Hall, 1978.