عنوان
پدید آورنده
موضوع
رده
QA 9 .C7
QA
9
.
C7
کتابخانه
محل استقرار
44869
آخر۲۷
English
)20(
Craig, William
8191-
Logic in algebraic form; Three languages and theories
Amsterdam, American Elsevier Pub. Co.
North-Holland Pub. Co.; New York
1974
204 p.; 23 cm
Studies in logic and the foundations of mathematics
v. 72
، logic, Symbolic and mathematical
، Proof theory
QA
9
.
C7
AU
TI
SE
02
