![](/img/cover-not-exists.png)
A necessary and sufficient condition in order that a Herbrand interpretation be expressive relative to recursive programs
Paweł UrzyczynVolume:
56
Year:
1983
Language:
english
Pages:
8
DOI:
10.1016/s0019-9958(83)80006-0
File:
PDF, 349 KB
english, 1983