BARWISE, J., ETCHEMENDY, J., The language of first-order logic. Including the IBM-compatible Windows version of Tarski's world 4.0.
(XIV) 319 pp. Paperback. (CSLI lecture notes, 23 ) *good condition*
€ 12.50