コンテンツへ移動
Collected works 資料のプレビュー
閉じる資料のプレビュー
確認中…

Collected works

著者: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
出版: Oxford : Oxford University Press, 1990
エディション/フォーマット:   book_printbook : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
概要:

This second volume of a comprehensive edition of logician Godel's works collects together all his publications from 1938 to 1974. Together with Volume I, it makes available for the first time in a  続きを読む

評価:

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

件名:
関連情報:

 

オンラインで入手

この資料へのリンク

オフラインで入手

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

詳細

資料の種類: インターネット資料
ドキュメントの種類: 図書, インターネットリソース
すべての著者/寄与者: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
ISBN: 0195039726 9780195039726 0195147219 9780195147216
OCLC No.: 499082163
著作権: Prepared under the auspices of the Association for Symbolic Logic.
物理形態: xiv, 407 pages : illustrations, portraits ; 24 cm
コンテンツ: 3. CONSISTENCY PROOF FOR THE GENERALIZED CONTINUUM HYPOTHESIS
責任者: Kurt Gödel ; edited by Solomon Feferman (editor-in-chief) [and others] ; prepared under the auspices of the Association for Symbolic Logic. Vol. 2, Publications 1938-1974.
その他の情報:

レビュー

編集者のレビュー

出版社によるあらすじ

... the presentation is impeccable. The introductory notes which explicate Godel's thought are notable papers in themselves ... Such is the thoroughness of the enterprise in making Godel's work 続きを読む

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

タグ

まずはあなたから!

類似資料

リクエストの確認

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

リンクデータ


Primary Entity

<http://www.worldcat.org/oclc/499082163> # Collected works
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "499082163" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2792006335#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/164/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2792006335#Person/feferman_solomon_1928> ; # Solomon Feferman
   schema:creator <http://experiment.worldcat.org/entity/work/data/2792006335#Person/godel_kurt> ; # Kurt Gödel
   schema:datePublished "2001" ;
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2792006335> ;
   schema:inLanguage "en" ;
   schema:name "Collected works"@en ;
   schema:productID "499082163" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/499082163#PublicationEvent/oxford_oxford_university_press_1990_2001_printing> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2792006335#Agent/oxford_university_press> ; # Oxford University Press
   schema:url <http://www.gbv.de/dms/ilmenau/toc/125131631.PDF> ;
   schema:workExample <http://worldcat.org/isbn/9780195039726> ;
   schema:workExample <http://worldcat.org/isbn/9780195147216> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA164424> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/499082163> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2792006335#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/2792006335#Person/feferman_solomon_1928> # Solomon Feferman
    a schema:Person ;
   schema:birthDate "1928" ;
   schema:familyName "Feferman" ;
   schema:givenName "Solomon" ;
   schema:name "Solomon Feferman" ;
    .

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

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

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://worldcat.org/isbn/9780195039726>
    a schema:ProductModel ;
   schema:isbn "0195039726" ;
   schema:isbn "9780195039726" ;
    .

<http://worldcat.org/isbn/9780195147216>
    a schema:ProductModel ;
   schema:isbn "0195147219" ;
   schema:isbn "9780195147216" ;
    .


Content-negotiable representations

ウインドウを閉じる

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

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