skip to content
Handbook of proof theory Preview this item
ClosePreview this item
Checking...

Handbook of proof theory

Author: Samuel R Buss
Publisher: New York : Elsevier, 1998.
Series: Studies in logic and the foundations of mathematics, v. 137.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of  Read more...
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
Additional Physical Format: Print version:
Handbook of proof theory.
New York : Elsevier, 1998
(DLC) 98018922
(OCoLC)39051675
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Samuel R Buss
ISBN: 9780444898401 0444898409 9780080533186 0080533183
OCLC Number: 162130862
Description: 1 online resource (811 pages).
Contents: Preface. List of Contributors. Chapter I. An Introduction to Proof Theory (S.R. Buss). Chapter II. First-Order Proof Theory of Arithmetic (S.R. Buss). Chapter III. Hierarchies of Provably Recursive Functions (M. Fairtlough, S.S. Wainer). Chapter IV. Subsystems of Set Theory and Second Order Number Theory (W. Pohlers). Chapter V. Gödels Functional ("Dialectica") Interpretation (J. Avigad, S. Feferman). Chapter VI. Realizability (A.S. Troelstra). Chapter VII. The Logic of Provability (G. Japaridze, D. de Jongh). Chapter VIII. The Lengths of Proofs (P. Pudlþk). Chapter IX. A Proof-Theoretic Framework for Logic Programming (G. Jäger, R.F. Stärk)). Chapter X. Types in Logic, Mathematics and Programming (R.L. Constable). Name Index. Subject Index.
Series Title: Studies in logic and the foundations of mathematics, v. 137.
Responsibility: edited by Samuel R. Buss.
More information:

Abstract:

Contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. This book includes the central topics of proof theory. It concludes with articles that deal  Read more...

Reviews

Editorial reviews

Publisher Synopsis

Toshiyasu AraiThe Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics, computer science, philosophy, linguistics, Read more...

 
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/162130862> # Handbook of proof theory
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "162130862" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/863575453#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/863575453#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:about <http://experiment.worldcat.org/entity/work/data/863575453#Topic/preuve_theorie_de_la_guides_manuels_etc> ; # Preuve, Théorie de la--Guides, manuels, etc
    schema:about <http://experiment.worldcat.org/entity/work/data/863575453#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/863575453#Topic/logica> ; # Logica
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/170410> ; # Samuel R. Buss
    schema:datePublished "1998" ;
    schema:description "This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science."@en ;
    schema:description "Preface. List of Contributors. Chapter I. An Introduction to Proof Theory (S.R. Buss). Chapter II. First-Order Proof Theory of Arithmetic (S.R. Buss). Chapter III. Hierarchies of Provably Recursive Functions (M. Fairtlough, S.S. Wainer). Chapter IV. Subsystems of Set Theory and Second Order Number Theory (W. Pohlers). Chapter V. Gödels Functional ("Dialectica") Interpretation (J. Avigad, S. Feferman). Chapter VI. Realizability (A.S. Troelstra). Chapter VII. The Logic of Provability (G. Japaridze, D. de Jongh). Chapter VIII. The Lengths of Proofs (P. Pudlþk). Chapter IX. A Proof-Theoretic Framework for Logic Programming (G. Jäger, R.F. Stärk)). Chapter X. Types in Logic, Mathematics and Programming (R.L. Constable). Name Index. Subject Index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/863575453> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/863575453#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/39051675> ;
    schema:name "Handbook of proof theory"@en ;
    schema:productID "162130862" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/162130862#PublicationEvent/new_york_elsevier_1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/863575453#Agent/elsevier> ; # Elsevier
    schema:url <http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137> ;
    schema:url <http://0-www.sciencedirect.com.pugwash.lib.warwick.ac.uk/science/bookseries/0049237X/137> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444898401> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=205717> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=312833> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/137> ;
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X> ;
    schema:url <http://www.123library.org/book_details/?id=34850> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/book/9780444898401> ;
    schema:url <http://www.myilibrary.com?id=103918> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=4053122> ;
    schema:url <http://www.myilibrary.com?id=103918&ref=toc> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0601/98018922-t.html> ;
    schema:url <https://nls.ldls.org.uk/welcome.html?ark:/81055/vdc_100026154119.0x000001> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=http://www.sciencedirect.com/science/book/9780444898401> ;
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/137> ;
    schema:workExample <http://worldcat.org/isbn/9780444898401> ;
    schema:workExample <http://worldcat.org/isbn/9780080533186> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB738743> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/162130862> ;
    .


Related Entities

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

<http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/book/9780444898401>
    rdfs:comment "eBook available for Durham College via Elsevier. Click link to access" ;
    .

<http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/137>
    rdfs:comment "eSeries Volume available for Durham College via Elsevier. Click link to access" ;
    .

<http://experiment.worldcat.org/entity/work/data/863575453#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/162130862> ; # Handbook of proof theory
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/863575453#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/863575453#Topic/preuve_theorie_de_la_guides_manuels_etc> # Preuve, Théorie de la--Guides, manuels, etc
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la--Guides, manuels, etc"@en ;
    .

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

<http://viaf.org/viaf/170410> # Samuel R. Buss
    a schema:Person ;
    schema:familyName "Buss" ;
    schema:givenName "Samuel R." ;
    schema:name "Samuel R. Buss" ;
    .

<http://worldcat.org/isbn/9780080533186>
    a schema:ProductModel ;
    schema:isbn "0080533183" ;
    schema:isbn "9780080533186" ;
    .

<http://worldcat.org/isbn/9780444898401>
    a schema:ProductModel ;
    schema:isbn "0444898409" ;
    schema:isbn "9780444898401" ;
    .

<http://www.sciencedirect.com/science/bookseries/0049237X>
    rdfs:comment "to access electronic resource via ScienceDirect" ;
    .

<http://www.worldcat.org/oclc/39051675>
    a schema:CreativeWork ;
    rdfs:label "Handbook of proof theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/162130862> ; # Handbook of proof theory
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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