عنوان
پدید آورنده
موضوع
رده
QA 9 .M28
QA
9
.
M28
کتابخانه
محل استقرار
Mathematical problems from applied logic : logics for the XXIst century
New York
Springer
c2006-
v
1
International mathematical series; v. 4
ISBN: 0387286888 )v.1(
edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
1
، Logic, Symbolic and mathematical
QA
9
.
M28
TI
AU Gabbay, Dov M., 1945-
AU Goncharov, Sergei Sevostianovich
AU Zakharyaschev, Michael
SE
