Softcover reprint of hardcover 1st ed. 2008
Paperback (21 Oct 2010)
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: | 9783642096273 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 21 Oct 2010 |
| Edition: | Softcover reprint of hardcover 1st ed. 2008 |
| Language: | English |
| Number of pages: | 536 |
| Weight: | 842g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 29mm |
$1.75off
Mathematical Intelligence
Hardback
Published 02 Jun 2022
Save $1.75
$4.43off
A Concise Introduction to Pure ...
Paperback
Published 03 Nov 2015
Save $4.43
Foundation Maths
Paperback
Published 29 Jan 2020
$3.86off
To Mock a Mockingbird and Other...
Paperback
Published 09 Nov 2000
Save $3.86
$9.92off
Maths Frameworking. Pupil Book ...
Paperback
Published 11 Jun 2014
Save $9.92
$5.09off
Hao Wang. Logician and Philosop...
Paperback
Published 02 Nov 2011
Save $5.09
Alcuin's Recreational Mathematics
Hardback
Published 28 Nov 2024
Book of Proof
Paperback
Published 01 Oct 2018
$2.03off
Introduction to Mathematical Lo...
Paperback
Published 14 Oct 2024
Save $2.03
A Tale of Discrete Mathematics
Hardback
Published 30 Mar 2024