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: 2003
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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: 0198500734 9780198500735
OCLC Number: 900276611
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: xix, 662 s. : ill 5 bd. ; 24 cm
Contents: Vol. 4. Correspondence, A-G / edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg Oxford Clarendon Press 2003 xix, 662 s. : ill.
Other Titles: Selected correspondence
Responsibility: edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg ; Kurt Gödel

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/900276611> # Collected works
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "900276611" ;
    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://experiment.worldcat.org/entity/work/data/2268596253#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/2268596253#Topic/matematik> ; # matematik
    schema:about <http://id.loc.gov/authorities/classification/BC135> ;
    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:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/kleene_stephen_c_kleene_stephen_cole_f_1909> ; # Kleene Stephen Cole Kleene
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/dawson_john_w_dawson_john_william_f_1944> ; # Dawson John William Dawson
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/moore_gregory_h> ; # Gregory H. Moore
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/parsons_charles_f_1933> ; # Charles Parsons
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/sieg_wilfried> ; # Wilfried Sieg
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/solovay_robert_m> ; # Robert M. Solovay
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/goldfarb_warren_d> ; # Warren D. Goldfarb
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Organization/association_for_symbolic_logic> ; # Association for Symbolic Logic
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/van_heijenoort_jean> ; # Jean Van Heijenoort
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2268596253#Person/feferman_solomon_f_1928> ; # Solomon Feferman
    schema:creator <http://experiment.worldcat.org/entity/work/data/2268596253#Person/godel_kurt_1906_1978> ; # Kurt Gödel
    schema:datePublished "2003" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2268596253> ;
    schema:inLanguage "en" ;
    schema:name "Collected works" ;
    schema:productID "900276611" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/900276611#PublicationEvent/2003> ;
    schema:workExample <http://worldcat.org/isbn/9780198500735> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/900276611> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/2268596253#Organization/association_for_symbolic_logic> # Association for Symbolic Logic
    a schema:Organization ;
    schema:name "Association for Symbolic Logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/2268596253#Person/dawson_john_w_dawson_john_william_f_1944> # 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://experiment.worldcat.org/entity/work/data/2268596253#Person/feferman_solomon_f_1928> # Solomon Feferman
    a schema:Person ;
    schema:familyName "Feferman" ;
    schema:givenName "Solomon" ;
    schema:name "Solomon Feferman" ;
    .

<http://experiment.worldcat.org/entity/work/data/2268596253#Person/godel_kurt_1906_1978> # 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://experiment.worldcat.org/entity/work/data/2268596253#Person/goldfarb_warren_d> # Warren D. Goldfarb
    a schema:Person ;
    schema:familyName "Goldfarb" ;
    schema:givenName "Warren D." ;
    schema:name "Warren D. Goldfarb" ;
    .

<http://experiment.worldcat.org/entity/work/data/2268596253#Person/kleene_stephen_c_kleene_stephen_cole_f_1909> # 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://experiment.worldcat.org/entity/work/data/2268596253#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/2268596253#Person/parsons_charles_f_1933> # Charles Parsons
    a schema:Person ;
    schema:familyName "Parsons" ;
    schema:givenName "Charles" ;
    schema:name "Charles Parsons" ;
    .

<http://experiment.worldcat.org/entity/work/data/2268596253#Person/sieg_wilfried> # Wilfried Sieg
    a schema:Person ;
    schema:familyName "Sieg" ;
    schema:givenName "Wilfried" ;
    schema:name "Wilfried Sieg" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2268596253#Person/van_heijenoort_jean> # Jean Van Heijenoort
    a schema:Person ;
    schema:familyName "Van Heijenoort" ;
    schema:givenName "Jean" ;
    schema:name "Jean Van Heijenoort" ;
    .

<http://experiment.worldcat.org/entity/work/data/2268596253#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical" ;
    .

<http://worldcat.org/isbn/9780198500735>
    a schema:ProductModel ;
    schema:isbn "0198500734" ;
    schema:isbn "9780198500735" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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