عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook17694
eng
Mathematical problems from applied logic I
New York :
: Springer,
, 2006.
Print
Logic, Symbolic and mathematical. ;
; Goncharov, S. S. ; Zakharyaschev, Michael. ; -Gabbay, Dov M., ; 1945
old catalog
