Jon Barwise & John Etchemendy, CSLI Publications. Author: Jon Barwise & John EtchemendyBinding: PaperbackPublished: CSLI Publications., 1993Condition:Book: Very goodJacket: No dust jacketPages: GoodMarkings: No markingsCondition remarks: Condition as shown in imageThis academic text presents a comprehensive introduction to the principles of first-order logic. It instructs readers on the formal language and deductive reasoning essential for understanding complex logical systems. The work illustrates abstract concepts through the interactive Tarski's World 4.0 software, providing a dynamic learning experience. It argues for a deeper comprehension of logical structures by bridging theoretical foundations with practical application. This rigorous volume details the intricacies of logical proofs and model theory, making it an indispensable resource for students and scholars alike.

Seller Inventory # 2025000006899-SECONDHAND

Contact seller

Report this item

Bibliographic Details

Title: The Language Of First-Order Logic: Tarski's World 4.0
Publisher: CSLI Publications.
Publication Date: 1993
Binding: Paperback
Book Type: Paperback

Store Description

Book Grocer - Australia's best bargain bookstore. We stock over 100,000 titles, all discounted and ready to ship from our Melbourne warehouse. We buy and sell second hand books. Book Grocer is Australian and family-owned since 2000.

Visit Seller's Storefront

Seller's business information

Castlebooks Pty Ltd
5/101 Keilor Park Drive, Tullamarine, VIC, 3043, Australia

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates from Australia to U.S.A.

Shipping rates from Australia to U.S.A.
Order quantity	15 to 25 business days	7 to 14 business days
First item	US$ 30.00	US$ 50.00

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.

Payment Methods

Add to Wants