Your search returned 2 results from 147442 records. Subscribe to this search

1. The language of first-order logic : including the program Tarski's World / Jon Barwise and John Etchemendy

by Barwise, Jon | Etchemendy, John.

Call number: 160 B296L Material type: book BookPublisher: Menlo Park, Calif. : CSLI, c1990 Description: xiii, 259 p.Availability: Items available for loan: PYULIB-CL [Call number: 160 B296L] (1).

2. Introduction to logic : propositional logic / Howard Pospesel ; with an appendix on metatheory by William G. Lycan

by Pospesel, Howard | Lycan, William G.

Call number: 160 P855I 2000 Material type: book BookEdition: Rev. 3rd ed.Publisher: Upper Saddle River, N. J. : Prentice-Hall, c2000 Description: xii, 273 p. : ill.Availability: Items available for loan: PYULIB-CL [Call number: 160 P855I 2000] (2).