×

zbMATH — the first resource for mathematics

A computational logic. (English) Zbl 0448.68020
ACM Monograph Series. New York etc.: Academic Press. XIV, 397 p. $ 29.50 (1979).

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B35 Mechanization of proofs and logical operations
03D70 Inductive definability
03-04 Software, source code, etc. for problems pertaining to mathematical logic and foundations
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
68-02 Research exposition (monographs, survey articles) pertaining to computer science