skip to content
Collected works Preview this item
ClosePreview this item
Checking...

Collected works

Author: Kurt GödelSolomon FefermanJohn W DawsonWarren D GoldfarbStephen C KleeneAll authors
Publisher: 1986
Edition/Format:   Print book : GermanView all editions and formats
Database:WorldCat
Summary:

This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from  Read more...

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

Document Type: Book
All Authors / Contributors: Kurt Gödel; Solomon Feferman; John W Dawson; Warren D Goldfarb; Stephen C Kleene; Gregory H Moore; Charles Parsons; Wilfried Sieg; Robert M Solovay; Jean Van Heijenoort; Association for Symbolic Logic
ISBN: 0195039645 9780195039641
OCLC Number: 464115011
Language Note: Parallel tysk tekst og engelsk oversættelse, engelsk introduktion og noter. I bd. 3-5 nogle tekster kun på engelsk
Notes: På titelsiden: Prepared under the auspices of the Association for Symbolic Logic
Description: xvi, 474 s. 5 bd. ; 24 cm
Contents: Vol. 1. Publications 1929-1936 / edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort New York Oxford University Press 1986 xvi, 474 s.
Other Titles: Selected correspondence
Responsibility: edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort ; Kurt Gödel
More information:

Reviews

Editorial reviews

Publisher Synopsis

From reviews of Volume I: Anyone interested in the life and work of Kurt Godel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the Read more...

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

Tags

All user tags (5)

View most popular tags as: tag list | tag cloud

Similar Items

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/464115011> # Collected works
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "464115011" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxu> ;
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/2268596253#CreativeWork/selected_correspondence> ; # Selected correspondence
    schema:about <http://id.loc.gov/authorities/classification/BC135> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/2268596253#Topic/logik> ; # logik
    schema:about <http://experiment.worldcat.org/entity/work/data/2268596253#Thing/symbollogik> ; # symbollogik
    schema:about <http://experiment.worldcat.org/entity/work/data/2268596253#Topic/matematik> ; # matematik
    schema:about <http://dewey.info/class/511.3/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/19458568> ; # Robert M. Solovay
    schema:contributor <http://viaf.org/viaf/34535231> ; # Solomon Feferman
    schema:contributor <http://viaf.org/viaf/41901318> ; # Kleene Stephen Cole Kleene
    schema:contributor <http://viaf.org/viaf/33427718> ; # Dawson John William Dawson
    schema:contributor <http://viaf.org/viaf/77591548> ; # Warren D. Goldfarb
    schema:contributor <http://viaf.org/viaf/67525053> ; # Wilfried Sieg
    schema:contributor <http://viaf.org/viaf/92795306> ; # Jean Van Heijenoort
    schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic
    schema:contributor <http://viaf.org/viaf/264686341> ; # Gregory H. Moore
    schema:contributor <http://viaf.org/viaf/111116439> ; # Charles Parsons
    schema:creator <http://viaf.org/viaf/97851774> ; # Kurt Gödel
    schema:datePublished "1986" ;
    schema:datePublished "1986/2003" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2268596253> ;
    schema:inLanguage "de" ;
    schema:name "Collected works" ;
    schema:productID "464115011" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/464115011#PublicationEvent/1986> ;
    schema:workExample <http://worldcat.org/isbn/9780195039641> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/464115011> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2268596253#CreativeWork/selected_correspondence> # Selected correspondence
    a schema:CreativeWork ;
    schema:name "Selected correspondence" ;
    .

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

<http://viaf.org/viaf/111116439> # Charles Parsons
    a schema:Person ;
    schema:familyName "Parsons" ;
    schema:givenName "Charles" ;
    schema:name "Charles Parsons" ;
    .

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

<http://viaf.org/viaf/19458568> # Robert M. Solovay
    a schema:Person ;
    schema:familyName "Solovay" ;
    schema:givenName "Robert M." ;
    schema:name "Robert M. Solovay" ;
    .

<http://viaf.org/viaf/264686341> # Gregory H. Moore
    a schema:Person ;
    schema:familyName "Moore" ;
    schema:givenName "Gregory H." ;
    schema:name "Gregory H. Moore" ;
    .

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

<http://viaf.org/viaf/34535231> # Solomon Feferman
    a schema:Person ;
    schema:familyName "Feferman" ;
    schema:givenName "Solomon" ;
    schema:name "Solomon Feferman" ;
    .

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

<http://viaf.org/viaf/67525053> # Wilfried Sieg
    a schema:Person ;
    schema:familyName "Sieg" ;
    schema:givenName "Wilfried" ;
    schema:name "Wilfried Sieg" ;
    .

<http://viaf.org/viaf/77591548> # Warren D. Goldfarb
    a schema:Person ;
    schema:familyName "Goldfarb" ;
    schema:givenName "Warren D." ;
    schema:name "Warren D. Goldfarb" ;
    .

<http://viaf.org/viaf/92795306> # Jean Van Heijenoort
    a schema:Person ;
    schema:familyName "Van Heijenoort" ;
    schema:givenName "Jean" ;
    schema:name "Jean Van Heijenoort" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
    schema:birthDate "1906" ;
    schema:deathDate "1978" ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9780195039641>
    a schema:ProductModel ;
    schema:description "bd.1" ;
    schema:isbn "0195039645" ;
    schema:isbn "9780195039641" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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