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

Check our website for pictures!! We are located in a small historic building, a church built in 1860, that is worth seeing for its own sake and for its historical significance to the community. We Specialize In Out-Of-Print, Rare, Scarce, And Antiquarian Books.

Visit Seller's Storefront

Seller's business information

Walters and Williams
824 Franklin St., Pella, IA, 50219, U.S.A.

Terms of Sale:

Pella Books is owned and operated by Alfred Post, PO Box 229 (824 Franklin Street), Pella IA 50219, pellabooks@windstream.net, 641 628 6868

Iowa residents must add 7% sales tax. If you have any questions about a book, please e-mail us or call before ordering. All books are subject to prior sale. We can accept only prepaid orders. We will provide a pro forma invoice only if the total is over $50.00. Books are held for seven days pending payment. Books are shipped at U. S. Postal Service media rat...

More Information

Shipping Terms:

Orders usually ship within 2 business days. Shipping/handling 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/handling is required.

Payment Methods
accepted by seller

Add to Wants

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

Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Rev & Expanded)

Jon Barwise,John Etchemendy

Used - Soft cover

Seller's business information