. . All orders guaranteed and ship within 24 hours. Before placing your order for please contact us for confirmation on the book's binding. Check out our other listings to add to your order for discounted shipping. Seller Inventory # WAL-E-5d-001705

Contact seller

Report this item

Bibliographic Details

Title: The Language of First-Order Logic : ...

Publisher: Center for the Study of Language and Inf

Publication Date: 1993

Binding: Soft cover

Condition: Good

About this title

Synopsis:

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

Review:

Review of the first edition... "A fascinating approach to a fascinating subject." Choice

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

Store Description

More Than Words (MTW) is a social enterprise that empowers youth who are in the foster care system, court involved, homeless, or out of school to take charge of their lives by taking charge of a business. By working as a team to manage their own retail and online used book business, caf�, and community space, youth develop the employment skills, leadership, and self-confidence they need to successfully transition to adulthood.

Visit Seller's Storefront

Seller's business information

More Than Words
376 Moody Street, Waltham, MA, 02453, U.S.A.

Terms of Sale:

We guarantee the condition of every book as it�s described on the Abebooks web sites. 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:

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 extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

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

The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23)

Barwise, Jon; Etchemendy, John

Used - Soft cover

Seller's business information