Peter Aczel / Harold Simmons / Stanley S. Wainer (eds.)

Broschiertes Buch

Proof Theory

A Selection of Papers from the Leeds Proof Theory Programme 1990

Herausgeber: Aczel, Peter; Wainer, Stanley S.; Simmons, Harold

Beschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 320
• Erscheinungstermin: 24. November 2007
• Englisch
• Abmessung: 229mm x 152mm x 19mm
• Gewicht: 522g
• ISBN-13: 9780521054164
• ISBN-10: 0521054168
• Artikelnr.: 23364849