An introduction to algorithmic logic. Metamathematical investigations in the theory of programs

Wydawnictwa / Banach Center Publications / Wszystkie tomy

L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki Banach Center Publications 2 (1977), 7-99 DOI: 10.4064/-2-1-7-99