Fitting, Melvin

Computability Theory, Semantics, and Logic Programming

Oxford: Clarendon Press, 1987. First edition. Hardcover. 8vo. [5], vi-xi, [4], 4-198, [6] pp. Navy cloth with gold lettering on the boards and the spine, Oxford Science Publications device in gold on the front board. Volume 13 in the Oxford Logic Guides series. Series editors Dana Scott and John Shepherdson. As with most volumes in the series, this book was issued without a dust jacket. This work is an introduction to computability theory using the elementary formal systems developed by Smullyan. Near Fine. Item #00009959

Previous owner's stamp on front pastedown, else Fine.

Price: $75.00