Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer
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.
الفئات:
عام:
1993
الناشر:
Cambridge University Press
اللغة:
english
الصفحات:
316
ISBN 10:
052141413X
ISBN 13:
9780521414135
ملف:
PDF, 9.38 MB
IPFS:
,
english, 1993
تنزيل هذا الكتاب غير متاح بسبب شكوى من صاحب حقوق النشر والطبع