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:   eBook : Document : EnglishView all editions and formats
Summary:
Provability, Computability and Reflection.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Periodicals
Additional Physical Format: Print version:
Takeuti, Gaisi, 1926-
Proof theory.
Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975
(DLC) 75023164
(OCoLC)1531974
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Gaisi Takeuti
ISBN: 9780080954912 008095491X
OCLC Number: 428099621
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: 1 online resource (vii, 372 pages).
Contents: pt. 1. First order systems --
pt. 2. Second order and finite order systems --
pt. 3. Consistency problems.
Series Title: Studies in logic and the foundations of mathematics, v. 81.
Responsibility: Gaisi Takeuti.

Abstract:

Provability, Computability and Reflection.

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/428099621> # Proof theory
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "428099621" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2406532#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/computable_functions> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/bewijstheorie> ; # Bewijstheorie
    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/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/recursive_functions> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/2406532#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and Mathematical
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
    schema:datePublished "1975" ;
    schema:description "Provability, Computability and Reflection."@en ;
    schema:description "pt. 1. First order systems -- pt. 2. Second order and finite order systems -- pt. 3. Consistency problems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2406532> ;
    schema:genre "Electronic books"@en ;
    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:isSimilarTo <http://www.worldcat.org/oclc/1531974> ;
    schema:name "Proof theory"@en ;
    schema:productID "428099621" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/428099621#PublicationEvent/amsterdam_north_holland_pub_co_new_york_american_elsevier_pub_co_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2406532#Agent/american_elsevier_pub_co> ; # American Elsevier Pub. Co.
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=407974> ;
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/81> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=583428> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444104922> ;
    schema:url <http://site.ebrary.com/id/10391513> ;
    schema:workExample <http://worldcat.org/isbn/9780080954912> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/428099621> ;
    .


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/428099621> ; # Proof theory
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/computable_functions> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
    schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
    schema:name "MATHEMATICS--Logic"@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"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2406532#Topic/recursive_functions> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

<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:deathDate "2017" ;
    schema:familyName "Takeuti" ;
    schema:givenName "Gaisi" ;
    schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/isbn/9780080954912>
    a schema:ProductModel ;
    schema:isbn "008095491X" ;
    schema:isbn "9780080954912" ;
    .

<http://www.worldcat.org/oclc/1531974>
    a schema:CreativeWork ;
    rdfs:label "Proof theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/428099621> ; # Proof theory
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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