by PeterAczel (Editor), HaroldSimmons (Editor), StanleyS.Wainer (Editor)
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Format: Paperback
Pages: 320
Edition: 1
Publisher: Cambridge University Press
Published: 21 Jan 2008
ISBN 10: 0521054168
ISBN 13: 9780521054164
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
