Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 - Peter Aczel - Books - Cambridge University Press - 9780521054164 - January 21, 2008
In case cover and title do not match, the title is correct

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Price
$ 60.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 28 - Jun 9
Add to your iMusic wish list

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.


320 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 21, 2008
ISBN13 9780521054164
Publishers Cambridge University Press
Pages 320
Dimensions 151 × 228 × 18 mm   ·   484 g
Language English  
Editor Aczel, Peter (University of Manchester)
Editor Simmons, Harold (University of Manchester)
Editor Wainer, Stanley S. (University of Leeds)

Mere med samme udgiver