An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
Open Access
- 1 January 1977
- journal article
- Published by Institute of Mathematics, Polish Academy of Sciences in Banach Center Publications
- Vol. 2 (1) , 7-99
- https://doi.org/10.4064/-2-1-7-99