載入...

Completeness, cmpactness, and undecidability: an introduction to mathematical logic

書目詳細資料
主要作者: Manaster, Alfred B
格式: Printed Book
出版: New Jersey, Prentice Hall 1975
主題:

MG University

持有資料詳情 MG University
索引號: 511.3 L5
復印件 Live Status Unavailable