عنوان
پدید آورنده
موضوع
رده
BC 71 .G37W45
BC
71
.
G37W45
کتابخانه
محل استقرار
What logics mean : from proof theory to model-theoretic semantics
Cambridge
Cambridge Univ. Press
c2013
xv, 285 p.
Bibliography: p.275-279
ISBN: 9781107611962
James W. Garson
1
، Logic
، Semantics
، Logic, Symbolic and mathematical
BC
71
.
G37W45
Garson, James W., 3491-
AU
TI
