عنوان
پدید آورنده
موضوع
رده
BC71 .G37 2013
BC71
.
G37
2013
کتابخانه
محل استقرار
IR
989583
انگلیسی
IR
What Logics Mean
[Book]
:From Proof Theory to Model-Theoretic Semantics
/ James W. Garson
cambridge; UK
: Cambridge University Press
, 2013.
xv, 285 p.
: ill
Print
Bibliography
Index
Logic
Semantics
Logic, Symbolic and mathematical
منطق
معنی شناسی
منطق ریاضی
BC71
.
G37
2013
Garson, James W., 1943-
ایران
Library of Foreign Languages and Islamic resource
42
42
41
42.pdf
42.pdf
41.pdf
old catalog
p
BL
1
a
Y
