Jon Barwise and John Etchemendy. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii + 259 pp. + disk. - Jon Barwise and John Etchemendy. The language of first-order logic, including the Macintosh program Tarski's world. Second edition of the preceding. CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1992 (© 1991), also distributed by the University of Chicago Press, Chicago, xiv + 297 pp. + disk.

1993 ◽  
Vol 58 (1) ◽  
pp. 362-363
Author(s):  
Kevin J. Compton
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
University Of Chicago ◽  
First Order ◽  
Lecture Notes ◽  
Macintosh Program ◽  
The University ◽  
University Of Chicago Press

A First Course in Logic

2004 ◽  
Author(s):  
Shawn Hedman
Keyword(s):  
Propositional Logic ◽  
Proof Theory ◽  
Order Logic ◽  
First Order Logic ◽  
University Of Maryland ◽  
First Order ◽  
Science Philosophy ◽  
The University ◽  
Second Order Logic ◽  
Theory And Model

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

The Language of First-Order Logic, including the Macintosh Program Tarski's World.

1994 ◽  
Vol 44 (175) ◽  
pp. 272
Author(s):  
Doug Goldson ◽  
Steve Reeves ◽  
Jon Barwise ◽  
John Etchemendy
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Macintosh Program
Sign in / Sign up

Export Citation Format

Share Document