Proof Theory
Subtitle: A selection of papers from the Leeds Proof Theory Programme 1990
Contributors: Peter Aczel (Editor); Harold Simmons (Editor); Stanley S. Wainer (Editor)
Publisher: Cambridge University Press
Published: April 30, 1993
Language: eng
Format: Hardcover
Number of pages: 316
ISBN-13: 9780521414135
Subjects: Mathematical foundations; Mathematical theory of computation; Proof theory; Logic; Mathematical And Symbolic Logic; Model Theory; Computers; Mathematics; Programming - Software Development; Computer Books: General; Computer Books: Languages; Computers / Programming / Software Development; Computers : Programming - Software Development; Mathematics / Logic
First sentence: This paper is an amalgam of two introductory lecture courses given at the Summer School.