Visit our new collection website
www.collectionsforschool.co.uk
SCHOOL BOOKS
KEY STAGES
BEST SELLERS
BOOK AWARDS
NEW FICTION
HOME
FURTHER EDUCATION
SECONDARY
PRIMARY
COLLECTIONS
VIEW BASKET
CHECK-OUT
MY ACCOUNT
HELP
Title / ISBN13
ISBN / EAN
Author
Publisher
Series
Category
Email:
Subscribe to news & offers:
Need assistance?
Log In/Register
CATEGORY BROWSE
Arts
Agriculture
Biography
Business
Children's
Computing
Earth Sciences
Economics
Educational
Engineering
English Language Teaching (ELT)
Environment
Family
Fiction
Finance
Geography
Home
Humanities
Industry
Information
Information Technology
Interdisciplinary Subjects
Language
Law
Leisure Interests
Literature
Mathematics
Medicine
Planning
Practical Interests
Reference
Science
Social Sciences
Sport
Technology
Travel
Veterinary Science
ABOUT US
About Us
Contact Us
Terms & Conditions
Item Details
Title:
STRUCTURAL PROOF THEORY
By:
Professor Sara Negri, Jan von Plato, Aarne Ranta
Format:
Paperback
List price:
£39.99
Our price:
£34.99
Discount:
12.5
% off
You save:
£5.00
ISBN 10:
0521068428
ISBN 13:
9780521068420
Availability:
Usually dispatched within 1-3 weeks.
Delivery rates
Stock:
Currently
0
available
Publisher:
CAMBRIDGE UNIVERSITY PRESS
Pub. date:
11 April, 2008
Pages:
276
Description:
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Synopsis:
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Publication:
UK
Imprint:
Cambridge University Press
Returns:
Returnable
Some other items by this author:
ADVANCES IN NATURAL LANGUAGE PROCESSING (PB)
CAN MATHEMATICS BE PROVED CONSISTENT?
CAN MATHEMATICS BE PROVED CONSISTENT? (HB)
CHAPTERS FROM GOEDEL''S UNFINISHED BOOK ON FOUNDATIONAL RESEARCH IN MATHEMATICS (HB)
CREATING MODERN PROBABILITY
CREATING MODERN PROBABILITY (HB)
CREATING MODERN PROBABILITY (PB)
ELEMENTS OF LOGICAL REASONING (HB)
ELEMENTS OF LOGICAL REASONING (PB)
GRAMMATICAL FRAMEWORK (HB)
GRAMMATICAL FRAMEWORK (PB)
IMPLEMENTING PROGRAMMING LANGUAGES. AN INTRODUCTION TO COMPILERS AND INTERPRETERS (PB)
PROOF ANALYSIS
PROOF ANALYSIS (HB)
PROOF ANALYSIS (PB)
SAVED FROM THE CELLAR (HB)
SAVED FROM THE CELLAR (PB)
STRUCTURAL PROOF THEORY
STRUCTURAL PROOF THEORY (HB)
THE GREAT FORMAL MACHINERY WORKS
THE GREAT FORMAL MACHINERY WORKS (HB)
TYPE-THEORETICAL GRAMMAR (HB)
TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems?
(Paperback)
By:
Alex Bellos
Guardian Faber Publishing
Our Price :
£8.02
Logic: A Very Short Introduction
(Paperback)
By:
Graham Priest
Oxford University Press
Our Price :
£6.56
To Mock a Mockingbird: and Other Logic Puzzles
(Paperback)
By:
Raymond Smullyan
Oxford University Press
Our Price :
£8.75
Introducing Infinity
(Paperback)
By:
Brian Clegg, Oliver Pugh (Illus)
Icon Books Ltd
Our Price :
£6.56
Logic
(Paperback)
By:
Wilfrid Hodges
Penguin Books Ltd
Our Price :
£8.02
BROWSE FOR BOOKS IN RELATED CATEGORIES
MATHEMATICS AND SCIENCE
mathematics
mathematical foundations
mathematical logic
Information provided by
www.pickabook.co.uk
SHOPPING BASKET
Your basket is empty
Total Items:
0
Tweet this!
Stumble Upon
Blogger
Delicious
Digg
Facebook
AddThis
NEW
Ramadan and Eid al-Fitr
By:
SARA KHAN
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
Learning
That''s My Story!: Drama for Confidence, Communication and C...
By:
ADAM POWER-ANNAND
The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
Learning
Power of 2
By:
DAVID JOSEPH SHARP
Learning
Reading Lessons
By:
CAROL ATHERTON
Easter
Greg the Sausage Roll: Egg-cellent Easter Adventure
By:
MARK HOYLE
Easter
Dear Easter Bunny
By:
MAXINE LEE-MACKIE
Easter
We''re Going on an Egg Hunt
By:
GOLDIE HAWK
Picture Book
Bowerbird
By:
JULIA DONALDSON
Picture Book
Mummy and Me
By:
LYDIA BRIGHT