zbMATH — the first resource for mathematics

Symbolic logic and mechanical theorem proving. (English) Zbl 0263.68046
Computer Science and Applied Mathematics. New York-London: Academic Press. XIII, 331 p. $ 17.50 (1973).

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03Bxx General logic
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
68-02 Research exposition (monographs, survey articles) pertaining to computer science