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, 34) *good condition*
€ 15.00