コンテンツへ移動
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 を選択してください。

リンクデータ


Primary Entity

<http://www.worldcat.org/oclc/118480> # Frege and Gödel; two fundamental texts in mathematical logic.
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/118480#CreativeWork/unidentifiedOriginalWork> ;
   library:oclcnum "118480" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/118972668#Place/cambridge_mass> ; # Cambridge, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/118972668#CreativeWork/begriffsschrift> ; # Begriffsschrift.
   schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
   schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/118972668#Topic/arithmetique_fondements> ; # Arithmétique - Fondements
   schema:about <http://experiment.worldcat.org/entity/work/data/118972668#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://dewey.info/class/511.3/e18/> ;
   schema:about <http://dewey.info/class/164/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/118972668#Person/frege_gottlob_1848_1925> ; # Gottlob Frege
   schema:contributor <http://experiment.worldcat.org/entity/work/data/118972668#Person/godel_kurt> ; # Kurt Gödel
   schema:creator <http://experiment.worldcat.org/entity/work/data/118972668#Person/van_heijenoort_jean_1912_1986> ; # Jean Van Heijenoort
   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/118972668> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/679547381> ;
   schema:name "Frege and Gödel; two fundamental texts in mathematical logic."@en ;
   schema:productID "118480" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/118480#PublicationEvent/cambridge_mass_harvard_university_press_1970> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/118972668#Agent/harvard_university_press> ; # Harvard University Press
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=001260084&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1909202&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:workExample <http://worldcat.org/isbn/9780674318441> ;
   schema:workExample <http://worldcat.org/isbn/9780674318458> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/118480> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/118972668#Agent/harvard_university_press> # Harvard University Press
    a bgn:Agent ;
   schema:name "Harvard University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Person/frege_gottlob_1848_1925> # Gottlob Frege
    a schema:Person ;
   schema:birthDate "1848" ;
   schema:deathDate "1925" ;
   schema:familyName "Frege" ;
   schema:givenName "Gottlob" ;
   schema:name "Gottlob Frege" ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Person/van_heijenoort_jean_1912_1986> # Jean Van Heijenoort
    a schema:Person ;
   schema:birthDate "1912" ;
   schema:deathDate "1986," ;
   schema:familyName "Van Heijenoort" ;
   schema:givenName "Jean" ;
   schema:name "Jean Van Heijenoort" ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Topic/arithmetique_fondements> # Arithmétique - Fondements
    a schema:Intangible ;
   schema:name "Arithmétique - Fondements"@en ;
   schema:name "Arithmétique--Fondements"@en ;
   schema:name "Arithmétique--Fondements"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/118972668#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85082153> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://worldcat.org/isbn/9780674318441>
    a schema:ProductModel ;
   schema:isbn "0674318447" ;
   schema:isbn "9780674318441" ;
    .

<http://worldcat.org/isbn/9780674318458>
    a schema:ProductModel ;
   schema:isbn "0674318455" ;
   schema:isbn "9780674318458" ;
    .

<http://www.worldcat.org/oclc/679547381>
    a schema:CreativeWork ;
   rdfs:label "Frege and Gödel." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/118480> ; # Frege and Gödel; two fundamental texts in mathematical logic.
    .


Content-negotiable representations

ウインドウを閉じる

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

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