عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook38649
eng
A short introduction to intuitionistic logic
New York :
: Kluwer Academic / Plenum Publishers,
, 2000.
Print
Intuitionistic mathematics. ; Mathematiques intuitionnistes. ; Intuitionistic mathematics ; fast ; (OCoLC)fst00977860 ;
Mint?s, G. E. ;
old catalog
