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...

Publisher: Center for the Study of Language and Inf

Publication Date: 1992

Binding: Soft cover

Condition: acceptable

Edition: 3rd Edition

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 Author:

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).

"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.

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.

Payment Methods
accepted by seller

Add to Wants

Items related to The Language of First-Order Logic: Including the Windows...

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)

Barwise, Jon; Etchemendy, John

Used - Soft cover

Seller's business information