An introduction to algorithmic logic. Metamathematical investigations in the theory of programs L. Banachowski; A. Kreczmar; G. Mirkowska; H. Rasiowa; A. Sławicki — 1977 Banach Center Publications