Загрузка...

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

Библиографические подробности
Главный автор: Manaster, Alfred B.
Формат: Printed Book
Язык:English
Опубликовано: Englewood Cliffs, N.J. : Prentice-Hall, [1975]
Предметы:

University of Calicut

Подробно о фондах из University of Calicut
Шифр: 511/.3 MAN/C
Копировать Недоступно состояние Live" What does mean the status Live (working)