Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990
Cambridge University Press, 1992 - Computers - 306 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
J TUCKER and J ZUCKER
Other editions - View all
additive apply arithmetic assume assumption atomic axioms BASIC bounded calculus called claim closed complexity computable consequence consider construct contains corresponding define definition denote derivation elements elimination equality equivalent example expression fact finite follows formal formula give given hence hierarchy holds immediate implies induction hypothesis inference interpretation introduce intuitionistic language least Lemma limit logic means multisets notations Note obtain occurring operator ordinal analysis path ordering predicate premise primitive recursive programs proof Proof Theory properties provably prove quantifiers rank recursive functions reflection relation replaced represents respectively restricted result RS(Q rule satisfying scheme semantics sequent sort standard step structure Suppose symbol termination Theorem theory tree true University usual variables write yields