skip to content
The Godel Editorial Project records, 1930-2001 (inclusive), Preview this item
ClosePreview this item
Checking...

The Godel Editorial Project records, 1930-2001 (inclusive),

Author: Kurt Gödel
Edition/Format:   Archival material : English
Database:WorldCat
Summary:
Collection includes photocopied source materials, correspondence of the editors, typescripts, galleys, illustrations, and other materials generated during the editing and production of Kurt Godel's COLLECTED WORKS. Editors and others represented in the correspondence include Solomon Feferman, Jean van Heijenoort, Stephen C. Kleene, John W. Dawson, Cheryl A. Dawson, Gregory H. Moore, Robert Solovay, and Georg Kreisel.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Cheryl A Dawson; John W Dawson; Solomon Feferman; Stephen Cole Kleene; Georg Kreisel; Gregory H Moore; Robert Solovay; Jean Van Heijenoort
Document Type: Archival Material
All Authors / Contributors: Kurt Gödel
OCLC Number: 754863757
Description: 29.5 linear feet.
More information:

Abstract:

Collection includes photocopied source materials, correspondence of the editors, typescripts, galleys, illustrations, and other materials generated during the editing and production of Kurt Godel's COLLECTED WORKS. Editors and others represented in the correspondence include Solomon Feferman, Jean van Heijenoort, Stephen C. Kleene, John W. Dawson, Cheryl A. Dawson, Gregory H. Moore, Robert Solovay, and Georg Kreisel.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/754863757> # The Godel Editorial Project records,
    a library:ArchiveMaterial, schema:CreativeWork ;
   library:oclcnum "754863757" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   rdfs:comment "Unknown 'gen' value: arc" ;
   schema:about <http://viaf.org/viaf/41901318> ; # Stephen Cole Kleene
   schema:about <http://viaf.org/viaf/92795306> ; # Jean Van Heijenoort
   schema:about <http://experiment.worldcat.org/entity/work/data/1016208630#Person/dawson_cheryl_a> ; # Cheryl A. Dawson
   schema:about <http://experiment.worldcat.org/entity/work/data/1016208630#Person/kleene_stephen_cole_1909_1994> ; # Stephen Cole Kleene
   schema:about <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1016208630#Person/moore_gregory_h> ; # Gregory H. Moore
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1016208630#Person/van_heijenoort_jean_1912_1986> ; # Jean Van Heijenoort
   schema:about <http://experiment.worldcat.org/entity/work/data/1016208630#Person/solovay_robert> ; # Robert Solovay
   schema:about <http://experiment.worldcat.org/entity/work/data/1016208630#Person/kreisel_georg> ; # Georg Kreisel
   schema:about <http://viaf.org/viaf/33427718> ; # John William Dawson
   schema:about <http://experiment.worldcat.org/entity/work/data/1016208630#Person/feferman_solomon> ; # Solomon Feferman
   schema:contributor <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:description "Collection includes photocopied source materials, correspondence of the editors, typescripts, galleys, illustrations, and other materials generated during the editing and production of Kurt Godel's COLLECTED WORKS. Editors and others represented in the correspondence include Solomon Feferman, Jean van Heijenoort, Stephen C. Kleene, John W. Dawson, Cheryl A. Dawson, Gregory H. Moore, Robert Solovay, and Georg Kreisel."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1016208630> ;
   schema:inLanguage "en" ;
   schema:name "The Godel Editorial Project records,"@en ;
   schema:productID "754863757" ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/754863757> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1016208630#Person/dawson_cheryl_a> # Cheryl A. Dawson
    a schema:Person ;
   schema:familyName "Dawson" ;
   schema:givenName "Cheryl A." ;
   schema:name "Cheryl A. Dawson" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016208630#Person/feferman_solomon> # Solomon Feferman
    a schema:Person ;
   schema:familyName "Feferman" ;
   schema:givenName "Solomon" ;
   schema:name "Solomon Feferman" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016208630#Person/kleene_stephen_cole_1909_1994> # Stephen Cole Kleene
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:deathDate "1994" ;
   schema:familyName "Kleene" ;
   schema:givenName "Stephen Cole" ;
   schema:name "Stephen Cole Kleene" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016208630#Person/kreisel_georg> # Georg Kreisel
    a schema:Person ;
   schema:familyName "Kreisel" ;
   schema:givenName "Georg" ;
   schema:name "Georg Kreisel" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016208630#Person/moore_gregory_h> # Gregory H. Moore
    a schema:Person ;
   schema:familyName "Moore" ;
   schema:givenName "Gregory H." ;
   schema:name "Gregory H. Moore" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016208630#Person/solovay_robert> # Robert Solovay
    a schema:Person ;
   schema:familyName "Solovay" ;
   schema:givenName "Robert" ;
   schema:name "Robert Solovay" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016208630#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://id.loc.gov/authorities/subjects/sh85078115> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://viaf.org/viaf/33427718> # John William Dawson
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:familyName "Dawson" ;
   schema:givenName "John William" ;
   schema:givenName "John W." ;
   schema:name "John William Dawson" ;
    .

<http://viaf.org/viaf/41901318> # Stephen Cole Kleene
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:deathDate "1994" ;
   schema:familyName "Kleene" ;
   schema:givenName "Stephen Cole" ;
   schema:name "Stephen Cole Kleene" ;
    .

<http://viaf.org/viaf/92795306> # 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://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.