On formally undecidable propositions of principia mathematica and related systems

保存先:

書誌詳細
第一著者:	Gödel, Kurt Friedrich (著者)
フォーマット:	図書
言語:	英語
出版事項:	Nueva York Dover 1992
主題:	Lógica Lógica matemática Matemática
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

このレコードへの初めてのコメントを付けませんか!

類似資料