This paperback book appears like new. The exterior can have minor shelving marks. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library.

Seller Inventory # 53DTTR000TWY

Contact seller

Report this item

Bibliographic Details

Title: Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
Publisher: Independently published
Publication Date: 2019
Language: English
ISBN 10: 1077322127
ISBN 13: 9781077322127
Binding: paperback
Condition: LikeNew
Weight: 1.9 pounds

About this title

Synopsis

A textbook on the semantics, proof theory, and metatheory of first-order logic. Covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and L�wenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.

"About this title" may belong to another edition of this title.

Store Description

We sell books and AV items withdrawn from the Johnson County (Kansas) Library's collection as well as like items donated to us by the public.

Visit Seller's Storefront

Seller's business information

Friends of Johnson County Library
8279 Melrose Dr, Lenexa, KS, 66214, U.S.A.

Sale & Shipping Terms

Terms of Sale

Payment must be received prior to shipment of item purchased. Returns must be
authorized by Friends of the Johnson County Library. All payments must be made
in US dollars. Shipment will be made via US Mail within 2 days of purchase.
Advise us if priority shipment required. That can be provided at additional
cost.

Friends of Johnson County Library
8279 Melrose Dr
Lenexa KS 66214 - USA
internetsales@friendsofjcl.org
(913) 492-4777
Matthew B Delaney - authorized representative

Shipping Terms

Orders usually ship within 2 business days. Shipping 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 additional shipping reimbursement is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 3.99	US$ 8.50

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.