Proof Theory A Selection of Papers from the Leeds Proof Theory Programme 1990Author:
Publisher: Cambridge University Press
Summary: A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Ask this seller a question about this item
After submitting your question, the seller's response will be emailed to you.