Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990. This item is unavailable.
Language: English
Published by Cambridge University Press, 1993
- Hardcover
- New
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
AbeBooks seller since March 25, 2015
Unavailable
Hardcover
Condition: New
US$ 194.05
Item description from seller
In English.
Seller Inventory # ria9780521414135_new
- Title
- Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
- Publisher
- Cambridge University Press
- Publication year
- 1993
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 052141413X
- ISBN 13
- 9780521414135
- Item weight
- 722 grams
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
"Synopsis" may belong to another edition of this title.
Book Description
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
"About the title" may belong to another edition of this title.
Search results for Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
There are 1 more copies of this bookView all results