ロード中...

Completeness,compactness and undecidability /

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

類似資料