载入...

Completeness, Compactness and unddecidability; An introduction to mathematical logic.

书目详细资料
主要作者: Manaster, Alfred B
格式: Printed Book
语言:English
出版: New Jersey Prentice-Hall of India 1975
主题:
实物特征
Item Description:
实物描述:vi, 154 p. Bibliog.p. 149 - 150