Book guide and evaluation
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer
English
Unordered
Unordered
0.0 / 5
0 reviews
1993
Published
316 / 316
pages
2
views
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
Before you read
What will you get from this book?
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.
Ask this book
Your question is answered in the context of this title and author. Each answer uses 2 points.
Sign in to ask the book assistant.
Reader reviews
0 reviews, 0.0 average out of 5
No reviews yet
If you have read this book, help the next reader with your experience.
Write a review
Sign in to publish a review.
Reader questions and answers
Ask a focused question and learn from the community.
Sign in to ask or answer a question.
No questions yet
Be the first to ask a clear, useful question.