عنوان
پدید آورنده
موضوع
رده
QA 10 .C73
QA
10
.
C73
کتابخانه
محل استقرار
English
Logic in algebraic form. Three languages and theories
Amsterdam, New York
North-Holland Pub. Co., American Elsevier Pub. Co.
1974
viii, 204 p. 23 cm
Studies in logic and the foundations of mathematics, v. 27
Bibliography: p. 182-183
Bibliography: p. 182-183
William Craig
1
، Algebraic logic
، Proof theory
QA
10
.
C73
CA
511/
.
3
Craig, William.
AU
TI
SE
