Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Acceptable condition! Any other included accessories are also in Acceptable condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear such as cover tears discoloration, staining, marks, scuffs, etc. All pages intact.

Seller Inventory # GWSVV.0937073903.A

Contact seller

Report this item

Bibliographic Details

Title: The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)
Publisher: The Center for the Study of Language and Information Publications
Publication Date: 1993
Language: English
ISBN 10: 0937073903
ISBN 13: 9780937073902
Binding: Soft cover
Edition: 3rd Edition
Condition: acceptable

About this title

Synopsis

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order Logic contains hundreds of problems and exercises for the user to work through.

About the Authors

Jon Barwise (1942–2000) was professor of philosophy, mathematics, and computer science at Indiana University and one of the founding members of the Center for the Study of Language and Information (CSLI).

John Etchemendy is professor of philosophy and symbolic systems at Stanford University and a former director of the Center for the Study of Language and Information (CSLI).

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

Store Description

Goodwill of Silicon Valley?s mission is to support our employees, our customers, and people with challenging barriers to employment; to raise their standard of living and improve their lives through our services and social enterprise. Founded in Santa Clara County in 1928, Goodwill of Silicon Valley is dedicated to improving employment opportunities, increasing standards of living, providing economic independence, and restoring our clients? sense of self-worth. We do this through workforce creation, vocational training, and environmental stewardship. With 18 retail stores, an online store, an extensive reuse/recycling operation, and our Contract Services division, we help people overcome barriers to employment, build sustainable livelihoods, and transform their lives and communities.

Visit Seller's Storefront

Seller's business information

Goodwill of Silicon Valley
1080 North 7th Street, San Jose, CA, 95112, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks website. 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, please use the [Ask bookseller a question] link to contact us and we'll respond within 2 business days.

Shipping Terms

Books are shipped 1-2 business days following receipt of payment.
Standard Flat rate $3.99 shipping per item via UPS. Delivery between 3-8 days depending on location in U.S. We are located in California.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	3 to 5 business days	1 to 3 business days
First item	US$ 3.99	US$ 7.99

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.