عنوان
پدید آورنده
موضوع
رده
QA76 .G223 1998
QA76
.
G223
1998
کتابخانه
محل استقرار
0 13 726365 1
IR
2721
انگلیسی
IR
Elementary Logics: A Procedural Perspective
[Book]
/ Dov Gabbay
London
: Prentice Hall Europe
, 1998.
xiv ,365 P.
Language: انگلیسی
Print
Index
Bibliography
Computer Science
Logic, Symbolic and Mathematical
QA76
.
G223
1998
Gabbay, Dov M.
ایران
old catalog
p
BL
1
a
Y
