BARWISE, J., ETCHEMENDY, J.
The language of first-order logic. Including the IBM-compatible Windows version of Tarski's world 4.0.
Stanford, CSLI, 1992.
(XIV) 319 pp. Paperback. (CSLI lecture notes, 34) *good condition*
With diskette
Boeknummer 627498 € 15.00