Sets, Logic, Computation: An Open Logic Text
Released: Sep 11, 2017
Publisher: CreateSpace Independent Publishing Platform
Format: Paperback, 366 pages
to view more data
Description:
An introduction to the metatheory of first-order logic. Covers naive set theory, semantics and proof theory of first-order logic (sequent calculus and natural deduction), the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines and the undecidability of first-order logic.
Low Price Summary
Top Bookstores
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.
DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.
DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.
Want a Better Price Offer?
Set a price alert and get notified when the book starts selling at your price.
Want to Report a Pricing Issue?
Let us know about the pricing issue you've noticed so that we can fix it.