ロード中...

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

書誌詳細
第一著者: Manaster, Alfred B
フォーマット: Printed Book
言語:English
出版事項: New Jersey Prentice-Hall of India 1975
主題:

UL

予約・返却請求 UL
請求記号: 51 MAN
所蔵 ステータス情報は利用できません