0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Proof Theory - A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback) Loot Price: R1,210
Discovery Miles 12 100
Proof Theory - A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback): Peter Aczel, Harold Simmons,...

Proof Theory - A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback)

Peter Aczel, Harold Simmons, Stanley S. Wainer

 (sign in to rate)
Loot Price R1,210 Discovery Miles 12 100 | Repayment Terms: R113 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

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.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Release date: 2008
First published: February 2008
Editors: Peter Aczel • Harold Simmons • Stanley S. Wainer
Dimensions: 228 x 151 x 18mm (L x W x T)
Format: Paperback - Trade
Pages: 320
ISBN-13: 978-0-521-05416-4
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Promotions
LSN: 0-521-05416-8
Barcode: 9780521054164

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,292 Discovery Miles 12 920
Principia Mathematica
Russell Bertrand Russell Hardcover R1,332 Discovery Miles 13 320
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,602 Discovery Miles 56 020
Logic for Physicists
Nicolas A Pereyra Paperback R793 Discovery Miles 7 930
Elements of Geometry Upon the Inductive…
James Hayward Paperback R489 Discovery Miles 4 890
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R600 Discovery Miles 6 000
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R453 Discovery Miles 4 530
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R550 Discovery Miles 5 500
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R317 Discovery Miles 3 170
Foundation Maths
Anthony Croft, Robert Davison Paperback R1,838 Discovery Miles 18 380
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R818 Discovery Miles 8 180

See more

Partners