コンテンツへ移動
Frege and Gödel; two fundamental texts in mathematical logic. 資料のプレビュー
閉じる資料のプレビュー
確認中…

Frege and Gödel; two fundamental texts in mathematical logic.

著者: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
出版: Cambridge, Mass., Harvard University Press, 1970.
エディション/フォーマット:   book_printbook : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

その他のフォーマット: Online version:
Van Heijenoort, Jean, 1912-1986.
Frege and Gödel.
Cambridge, Mass., Harvard University Press, 1970
(OCoLC)679547381
資料の種類: インターネット資料
ドキュメントの種類: 図書, インターネットリソース
すべての著者/寄与者: Jean Van Heijenoort; Kurt Gödel; Gottlob Frege
ISBN: 0674318447 9780674318441 0674318455 9780674318458
OCLC No.: 118480
注記: "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
物理形態: 116 pages illustrations 26 cm
コンテンツ: Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/118480>
bgn:translationOfWork
library:oclcnum"118480"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:creator
schema:datePublished"1970"
schema:description"Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116)."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/918621170>
schema:inLanguage"en"
schema:name"Frege and Gödel; two fundamental texts in mathematical logic."@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.