Computability theory, semantics, and logic programming /

Fitting, Melvin,

Computability theory, semantics, and logic programming / Melvin Fitting. - New York : Oxford University Press, 1987. - xi, 198 p. : - Oxford logic guides ; 13 .

0195036913


Computable functions.---

410.285 / Co
Untitled Document
Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021