Contents of Volume 2
-
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs Banach Center Publications 2 (1977), 7-99 DOI: 10.4064/-2-1-7-99
-
An analysis of programs by algebraic means Banach Center Publications 2 (1977), 167-213 DOI: 10.4064/-2-1-167-213
-
On information storage and retrieval systems Banach Center Publications 2 (1977), 215-259 DOI: 10.4064/-2-1-215-259
