عنوان
پدید آورنده
موضوع
رده
BC128 .V33 2007
BC128
.
V33
2007
کتابخانه
محل استقرار
IR
988176
انگلیسی
IR
Dependence Logic
[Book]
:A New Approach to Independence Friendly Logic
/ Jouko Veaeaneanen
Cambridge ;New York
: Cambridge University Press
, 2007.
ix, 225 p.
: ill.
(London Mathematical Society student texts
; 70)
Print
Bibliography
Index
First-order logic
نخستین دستور منطق
BC128
.
V33
2007
Veaeaneanen, Jouko, 1950-
ایران
Library of Foreign Languages and Islamic resource
42
42
41
42.pdf
42.pdf
41.pdf
old catalog
p
BL
1
a
Y
