2008
Hardback (26 May 2008)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.
| ISBN: | 9783540775324 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 26 May 2008 |
| Edition: | 2008 |
| Language: | English |
| Number of pages: | 536 |
| Weight: | 940g |
| Height: | 237mm |
| Width: | 164mm |
| Spine width: | 36mm |
$1.81off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.81
$1.31off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.31
Is Maths Real?
Paperback
Published 06 Jun 2024
$2.75off
How to Prove It
Paperback
Published 18 Jul 2019
Save $2.75
The Art of Logic
Paperback
Published 04 Jul 2019
How to Expect the Unexpected
Paperback
Published 15 Aug 2024
First-Order Logic
Paperback
Published 01 Feb 2000
$55.46off
Classical and Nonclassical Logics
Hardback
Published 20 Sep 2005
Save $55.46
Handbook of Mathematical Fuzzy ...
Paperback
Published 21 Dec 2011
