pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
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: PROOF THEORY
A SELECTION OF PAPERS FROM THE LEEDS PROOF THEORY PROGRAMME 1990
By: Peter Aczel (Editor), Harold Simmons (Editor), Stanley S. Wainer (Editor)
Format: Hardback

List price: £93.00
Our price: £81.38
Discount:
12.5% off
You save: £11.62
ISBN 10: 052141413X
ISBN 13: 9780521414135
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 11 February, 1993
Pages: 320
Description: A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Synopsis: 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.
Illustrations: line drawings
Publication: UK
Imprint: Cambridge University Press
Returns: Returnable
Some other items by this author:

TOP SELLERS IN THIS CATEGORY
Elements of Statistical Learning (Hardback)
By: Trevor Hastie, Robert Tibshirani, Jerome Friedman
Springer-Verlag New York Inc.
Our Price : £56.87
more details
Essential Maths Skills for AS/A Level Computer Science (Paperback)
By: Victoria Ellis, Gavin Craddock
Hodder Education
Our Price : £12.08
more details
All of Statistics (Paperback)
By: Larry Wasserman
Springer-Verlag New York Inc.
Our Price : £43.74
more details
Cryptography Made Simple (Hardback)
By: Nigel P. Smart
Springer International Publishing AG
Our Price : £38.24
more details
MATLAB Deep Learning (Paperback)
By: Phil Kim
APress
Our Price : £48.12
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 mathematical theory of computation


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes
By: DAVID WALLIAMS
GET READY FOR SOME SUPERSIZED FUN!
add to basket

Inspiring
Maya Angelou
By: EVIE DAYE
add to basket

Inspiring
Jane Goodall
By: EVIE DAYE
add to basket

Inspiring
Marie Curie
By: EVIE DAYE
add to basket

New
Running My Own Race
By: ABENA EYESON
add to basket

New
No Cheese, Please!
By: NISHANI REED
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero
By: DAVID SOLOMONS
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket

Picture Book
Thoughts from a Quiet Bench
By: KES GRAY
add to basket

Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket