عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook10298
eng
Analysis and synthesis of logics
Dordrecht :
: Springer,
, 2008.
Print
Logic, Symbolic and mathematical. ;
Carnielli, Walter A. ; (Walter Alexandre) ;
old catalog
