aller au contenu
Collected works Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Collected works

Auteur : Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
Éditeur: Oxford : Oxford University Press, 1990
Édition/format:   Livre imprimé : AnglaisVoir toutes les éditions et tous les formats
Résumé:

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  Lire la suite...

Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage: Ressource Internet
Type de document: Livre, Ressource Internet
Tous les auteurs / collaborateurs: Kurt Gödel; Solomon Feferman; Association for Symbolic Logic.
ISBN: 0195039726 9780195039726 0195147219 9780195147216
Numéro OCLC: 499082163
Crédits: Prepared under the auspices of the Association for Symbolic Logic.
Description: xiv, 407 pages : illustrations, portraits ; 24 cm
Contenu: 3. CONSISTENCY PROOF FOR THE GENERALIZED CONTINUUM HYPOTHESIS
Responsabilité: 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.
Plus d’informations:

Critiques

Critiques éditoriales

Synopsis de l’éditeur

The books are carefully and beautifully produced and offer rich material, illuminating not only the outstanding work of Goedel, but also the whole mathematical logic of the twentieth century, Lire la suite...

 
Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.

Ouvrages semblables

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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/4915385706#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://viaf.org/viaf/34535231> ; # Solomon Feferman
    schema:creator <http://viaf.org/viaf/97851774> ; # Kurt Gödel
    schema:datePublished "2001" ;
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4915385706> ;
    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/4915385706#Agent/oxford_university_press> ; # Oxford University Press
    schema:url <http://www.gbv.de/dms/ilmenau/toc/125131631.PDF> ;
    schema:workExample <http://worldcat.org/isbn/9780195147216> ;
    schema:workExample <http://worldcat.org/isbn/9780195039726> ;
    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/4915385706#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
    schema:name "Oxford University Press" ;
    .

<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://viaf.org/viaf/34535231> # Solomon Feferman
    a schema:Person ;
    schema:birthDate "1928" ;
    schema:familyName "Feferman" ;
    schema:givenName "Solomon" ;
    schema:name "Solomon Feferman" ;
    .

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

<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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.