ロード中...

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
所蔵 ステータス情報は利用できません