On some arithmetically expressible properties of programs

Publishing house / Banach Center Publications / All volumes

M. E. Szabo Banach Center Publications 21 (1988), 385-394 DOI: 10.4064/-21-1-385-394