Elementary Recursion Theory And Its Applications To Formal Systems
Saul Kripke
A full set of lecture notes for this course on recursion theory. More than sufficient to form a base level of understanding without the course itself.
年:
1995
出版商:
Department of Philosophy, Princeton University
語言:
english
頁數:
191
文件:
PDF, 693 KB
IPFS:
,
english, 1995