Paperback (28 Feb 2008)
Save $4.77
Includes delivery to the United States
10+ copies available online - Usually dispatched within 2-3 weeks
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Cambridge University Press dates from 1534 and is part of the University of Cambridge. We further the University's mission by disseminating knowledge in the pursuit of education, learning and research at the highest international levels of excellence.
| ISBN: | 9780521054164 |
| Publisher: | Cambridge University Press |
| Imprint: | Cambridge University Press |
| Pub date: | 28 Feb 2008 |
| Language: | English |
| Number of pages: | 320 |
| Weight: | 484g |
| Height: | 228mm |
| Width: | 151mm |
| Spine width: | 18mm |
Machine Learning
Hardback
Published 24 Aug 2012
$21.50off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $21.50
$7.88off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.88
Every Bit Counts
Paperback
Published 13 Dec 2024
$8.83off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $8.83
$3.19off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save $3.19
$16.66off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.66
Smart-Tech Society
Paperback
Published 14 Jun 2024
Just Enough Research
Paperback
Published 01 Oct 2024
