Completeness,compactness and undecidability /

书目详细资料
主要作者: Manaster,A.B
格式: Printed Book
语言:English
出版: New Jersey Prentice -Hall 1975
丛编:Introduction to mathematical logic
实物特征
实物描述:vi,154 p.

相似书籍