ロード中...

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