zbMATH — the first resource for mathematics

An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. (English) Zbl 0358.68035
Math. Found. Comput. Sci., Banach Cent. Publ. 2, 7-99 (1977).

68N01 General topics in the theory of software
68W99 Algorithms in computer science
03B05 Classical propositional logic
03B10 Classical first-order logic
Full Text: Link EuDML