Normal view
MARC view
Oxford logic guides ; 13 (Uniform Title)
Machine generated authority record.
Work cat.: (OSt)0: Fitting, Melvin, 1942- 899, Computability theory, semantics, and logic programming /, 1987.