The Language Of First-order Logic: Including The Macintosh Program, Tarski's World 3.0 (Center for the Study of Language and Information - Lecture Notes) - Softcover

Barwise, Jon; Etchemendy, John

 
9780937073599: The Language Of First-order Logic: Including The Macintosh Program, Tarski's World 3.0 (Center for the Study of Language and Information - Lecture Notes)
Softcover
ISBN 10: 0937073598 ISBN 13: 9780937073599
Verlag: Center for the Study of Language and Information Publica Tion, 1990

Inhaltsangabe

This complete introduction to first-order symbolic logic consists of a computer program and a text. The revised and expanded edition includes an extensive series of translation exercises to and from ordinary language, and proof exercises using ordinary language.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor











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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Center for the Study of Language and Information Publica Tion
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0937073598
ISBN 13 
9780937073599
Einband
Taschenbuch
Anzahl der Seiten
280
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780937073742: The Language Of First-order Logic: Including The Macintosh Program Tarski's World (Center for the Study of Language and Information - Lecture Notes)

Vorgestellte Ausgabe

ISBN 10:  0937073741 ISBN 13:  9780937073742
Verlag: Center for the Study of Language..., 1992
Softcover