aller au contenu
Proof theory Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Proof theory

Auteur : Gaisi Takeuti
Éditeur : Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Collection : Studies in logic and the foundations of mathematics, v. 81.
Édition/format :   Print book : AnglaisVoir toutes les éditions et tous les formats
Base de données :WorldCat
É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
Format : Livre, Ressource Internet
Tous les auteurs / collaborateurs : Gaisi Takeuti
ISBN : 0444104925 9780444104922 0720422000 9780720422009 0720422779 9780720422771
Numéro OCLC : 1531974
Notes : Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.
Description : vii, 372 pages ; 23 cm.
Titre de collection : Studies in logic and the foundations of mathematics, v. 81.
Responsabilité : Gaisi Takeuti.

Critiques

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

Tags

Soyez le premier.
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/1531974> # Proof theory
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1531974" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/proof_theory> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/calcul_predicat> ; # calcul prédicat
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/arithmetique_peano> ; # ARITHMETIQUE PEANO
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_conformite> ; # PREUVE CONFORMITE
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/bewijstheorie> ; # Bewijstheorie
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:datePublished "1975" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2406532> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2406532#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:name "Proof theory"@en ;
    schema:productID "1531974" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1531974#PublicationEvent/amsterdam_north_holland_pub_co_new_york_american_elsevier_pub_co_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/american_elsevier_pub_co> ; # American Elsevier Pub. Co.
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
    schema:url <http://www.gbv.de/dms/hbz/toc/ht001229779.pdf> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908762&custom_att_2=simple_viewer> ;
    schema:workExample <http://worldcat.org/isbn/9780720422009> ;
    schema:workExample <http://worldcat.org/isbn/9780720422771> ;
    schema:workExample <http://worldcat.org/isbn/9780444104922> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1531974> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Agent/american_elsevier_pub_co> # American Elsevier Pub. Co.
    a bgn:Agent ;
    schema:name "American Elsevier Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
    schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1531974> ; # Proof theory
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/arithmetique_peano> # ARITHMETIQUE PEANO
    a schema:Intangible ;
    schema:name "ARITHMETIQUE PEANO"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_conformite> # PREUVE CONFORMITE
    a schema:Intangible ;
    schema:name "PREUVE CONFORMITE"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la"@en ;
    schema:name "Preuve, Théorie de la"@fr ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/isbn/9780444104922>
    a schema:ProductModel ;
    schema:description "American Elsevier" ;
    schema:isbn "0444104925" ;
    schema:isbn "9780444104922" ;
    .

<http://worldcat.org/isbn/9780720422009>
    a schema:ProductModel ;
    schema:isbn "0720422000" ;
    schema:isbn "9780720422009" ;
    .

<http://worldcat.org/isbn/9780720422771>
    a schema:ProductModel ;
    schema:isbn "0720422779" ;
    schema:isbn "9780720422771" ;
    .


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.