عنوان
پدید آورنده
موضوع
رده
QA9,.M346,2006
QA9
,.
M346
,
2006
کتابخانه
محل استقرار
(v. 1)
0387286888
IR
ebook34091
انگلیسی
IR
Mathematical problems from applied logic
[Electronic Resource]
:logics for the XXIst century
/ edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
New York
: Springer,
, c2006-2007.
2 v.
: ill. ; 25 cm.
(International mathematical series,1571-5485
; v. 4-5)
e
Includes bibliographical references and indexes.
Logics for the XXIst century
Logic, Symbolic and mathematical.
QA9
,.
M346
,
2006
Gabbay, Dov M.� 1945
Goncharov, S. S
Zakharyaschev, Michael
ایران
QA9,.M346,2006
9780387286884.pdf
0
old catalog
e
BL
1
a
Y
