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.
Kateqoriyalar:
Tom:
PHI 323/MAT 313
İl:
1995
Nəşriyyat:
Department of Philosophy, Princeton University
Dil:
english
Səhifələr:
191
Fayl:
MOBi , 361 KB
IPFS:
,
english, 1995