ロード中...

Completeness,compactness and undecidability /

書誌詳細
第一著者: Manaster,A.B
フォーマット: Printed Book
言語:English
出版事項: New Jersey Prentice -Hall 1975
シリーズ:Introduction to mathematical logic

MAT

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