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, 23 ) *good condition*
Boeknummer 639803 € 12.50