دانلود کتاب Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
by Peter Aczel, Harold Simmons, Stanley S. Wainer
|
عنوان فارسی: اثبات نظریه: مجموعه ای از مقالات از اثبات لیدز نظریه برنامه 1990 |