SMULLYAN, RAYMOND M. FIRST-ORDER LOGIC - NEW YORK DOVER 1995 - xii+158p.:22x14Cms. ISBN: 9780486683702 Dewey Class. No.: 511.3 S64