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).
MSC:
68N01 | General topics in the theory of software |
68W99 | Algorithms in computer science |
03B05 | Classical propositional logic |
03B10 | Classical first-order logic |