عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook9543
eng
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
New York :
: Springer
, 2008.
Print
Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
Troelstra, Anne S. ;
old catalog
