Computability theory, semantics, and logic programming / Melvin Fitting.

Saved in:

Bibliographic Details
Main Author:	Fitting, Melvin, 1942-
Format:	Book
Language:	English
Published:	New York : Oxford : Oxford University Press ; Clarendon Press, 1987.
Series:	Oxford logic guides ; 13
Subjects:	Computable functions. Data structures (Computer science)

Holdings details from Science Library
Call Number:	QA9.59 .F58 1987
Status:	Available

Similar Items