skip to content
Proof theory Preview this item
ClosePreview this item
Checking...

Proof theory

Author: Gaisi Takeuti
Publisher: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Series: Studies in logic and the foundations of mathematics, v. 81.
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 online

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Gaisi Takeuti
ISBN: 0444104925 9780444104922 0720422000 9780720422009 0720422779 9780720422771
OCLC Number: 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.
Series Title: Studies in logic and the foundations of mathematics, v. 81.
Responsibility: Gaisi Takeuti.

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/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: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

Close Window

Please sign in to WorldCat 

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