Zawartość zeszytu 1
Tom 2 / 1977
-
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
