عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook21497
eng
The nuts and bolts of proofs
Amsterdam ;Boston :
: Elsevier Academic Press,
, 2005.
Print
Proof theory. ;
Cupillari, Antonella. ;
old catalog
