Undecidable Theories

保存先:
書誌詳細
第一著者: Mostowski, Andrzej
フォーマット: 図書
言語:英語
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
Order eBook:
Order Book: Login to order
Search Result 1

Constructible Sets with applications. 著者: Mostowski, Andrzej

出版事項 1969
図書
Search Result 2

Undecidable Theories 著者: Tarski, Alfred

出版事項 1968
図書
Search Result 3

Sentences undecidable in formalized Arithmetic. An exposition of the theory of Kurt Gödel. 著者: Mostowski, Andrzej

出版事項 1964
図書