Handbook of Proof Theory Image close
Handbook of Proof Theory: Volume 137 on Hardback
Handbook of Proof Theory: Volume 137 on Hardback
Show Hide Adult Content
Handbook of Proof Theory close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Handbook of Proof Theory

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$502.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $125.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Studies in Logic & the Foundations of Mathematics

See all products in this series

Lectures on the Curry-Howard Isomorphism: Volume 149 on Hardback by Pawel Urzyczyn
$407.99
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
$423.99
Tools and Techniques in Modal Logic: Volume 142
by M. Kracht ~ Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$337.99
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$469.99
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Admissibility of Logical Inference Rules: Volume 136 on Hardback by V.V. Rybakov
$495.99
Admissibility of Logical Inference Rules: Volume 136
by V.V. Rybakov ~ Hardback
Available - Usually ships in 3-4 weeks
Quantification in Nonclassical Logic: Volume 153 on Hardback by Dimitrij Skvortsov
$571.99
Quantification in Nonclassical Logic: Volume 153
by Dimitrij Skvortsov ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$140.99
Constructivism in Mathematics: Volume 121
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Realizability: Volume 152 on Hardback by Jaap Van Oosten
$444.99
Realizability: Volume 152
by Jaap Van Oosten ~ Hardback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$329.99
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Rudiments of Calculus: Volume 146 on Hardback
$264.99
Rudiments of Calculus: Volume 146
Hardback
Available - Usually ships in 3-4 weeks
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151 on Hardback by Nikolaos Galatos
$383.99
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Computability Theory: Volume 140 on Hardback
$504.99
Handbook of Computability Theory: Volume 140
Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$414.99
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
$460.99
Logical Frameworks for Truth and Abstraction: Volume 135
by A. Cantini ~ Hardback
Available - Usually ships in 3-4 weeks
Classical Recursion Theory: Volume 125 by P. Odifreddi
$260.99
Classical Recursion Theory: Volume 125
by P. Odifreddi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$602.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks

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.
Release date Australia
July 9th, 1998
Audience
  • Professional & Vocational
Contributor
  • Edited by S R Buss
Pages
810
Dimensions
165x235x38
ISBN-13
9780444898401
Product ID
6003830

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic