Craig, William.

Logic in algebraic form; Three languages and theories. - Amsterdam ;: New York: North-Holland, American Elsevier, 1974. - viii, 204 p.: 23 cm. - Studies in logic and the foundations of mathematics v. 72. .

Bibliography: p. 182-183.

0444104771 (American Elsevier)

72088292

Ne74-3


Algebraic logic.
Proof theory

511.3 / C886l