Titel: 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)
Verlag: Center for the Study of Language and Inf
Ver�ffentlichungsdatum: 1993
Sprache: Englisch
ISBN-10: 0937073997
ISBN-13: 9780937073995
Bindung: Softcover
Zustand: new

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den Autor

Jon Barwise (1942-2000) was a mathematician, philosopher and logician. He taught at the Universities of Yale and Wisconsin before becoming the first director of the Center for the Study of Language and Information at Stanford University. From 1990 until his death he was professor of philosophy at Indiana University. John Etchemendy has been professor of philosophy at Stanford since 1983. In 2000 he became Provost of Stanford University.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Welcome to the Solr Books & Books4Cause AbeBooks page! We are a social venture dedicated to supporting social causes, education, and community through a business model. Books4Cause doesn?t raise funds or rely on government grants. All of our funding comes from selling a portion of used books donated to us. Our main goal is to recirculate books back into the hands of people who will read and treasure them. We support both local and global initiatives. Through partnering with the African Library Project, we have built over 120 libraries in nursery schools, elementary schools, high schools, and universities across 18 countries in Africa. Our pop-up free library program in Chicago distributes free books in under-served neighborhoods throughout the city, giving necessary resources to children, adults, and families who otherwise may not have been able to access them. For more information on what we do, or how you can help, go to books4cause.com

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Solr Books
IL, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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.

Versandbedingungen

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.