عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook44941
eng
classical logics, model theory, and computability-Non
Amsterdam ;New York :New York :
: Holland,-Holland Pub. Co. ;sale distributors for the U.S.A. and Canada, Elsevier/North-North
, 1977.
Print
Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;
Arruda, Ayda I. ; Costa, Newton C. A. da. ; Chuaqui, R. ;
old catalog
