Computability Theory, Semantics, and Logic Programming
Fitting, Melvin
From Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since May 9, 2012
From Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since May 9, 2012
About this Item
8vo. [5], vi-xi, [4], 4-198, [6] pp. Navy cloth over boards with gold lettering on the boards and the spine, Oxford Science Publications device in gilt 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. Previous owner's stamp on front pastedown, else Fine. Seller Inventory # 00009959
Bibliographic Details
Title: Computability Theory, Semantics, and Logic ...
Publisher: Clarendon Press, Oxford
Publication Date: 1987
Binding: Hardcover
Condition: Near Fine
Dust Jacket Condition: Dust Jacket Included
Edition: First edition.
Store Description
We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, it may be returned for a full refund (less shipping costs) so long as we are notified of the return within 7 calendar days of delivery.
We may be contacted by m...
More InformationShipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
Payment Methods
accepted by seller