Melvin Fitting / Computability Theory Semantics and Logic Programming 1st 1987

Description: Computability Theory, Semantics, and Logic Programming Author: Fitting, Melvin Title: Computability Theory, Semantics, and Logic Programming Publication: Oxford: Clarendon Press, 1987 Edition: First edition Description: Hardcover. 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. Near Fine. Previous owner's stamp on front pastedown, else Fine. Seller ID: 00009959 Subject: COMPUTERS, Mathematics Evening star books, LLC We are a professional antiquarian bookselling firm with relatively broad interests, but we specialize in literature of all periods, modern first editions, and works of historical significance. Open to the public by chance or by appointment. Evening Star Books is a Limited Liability Company. Guarantee We are members of the ABAA (Antiquarian Booksellers' Association of America) and the Independent Online Booksellers' Association (IOBA), and we abide by these associations' strict codes of ethics. All items are guaranteed to be received as described and any item may be returned for any reason within 30 days of receipt. SHIPPING TERMS All orders ship within two business days. Standard mail is USPS Media Mail. Delivery using this shipping method usually occurs in 5 to 10 business days. Expedited and international shipping are also available. Please contact us for a shipping quote if you wish to upgrade to Priority Mail. We offer combined shipping on multiple orders. This listing was created by Bibliopolis.

Price: 94 USD

Location: Madison, Wisconsin

End Time: 2024-12-18T23:43:33.000Z

Shipping Cost: 0 USD