Kolekcja Matematyczna

Banach Center Publications

Tom 2

Warszawa 1977

H. Rasiowa L. Banachowski A. Kreczmar G. Mirkowska A. Sławicki	An introduction to algorithmic logic. Metamathematical investigations in the theory of programs	7-99
W. Bartol Z. Raś A. Skowron	Theory of computing systems	101-165
A. Blikle	An analysis of programs by algebraic means	167-213
W. Marek W. Lipski	On information storage and retrieval systems	215-259