The language of first-order logic : including the Mackintosh program Tarski's world 4.0 - Barwise, Jon; Etchemendy, John, 1952- (Stanford, CA : Center for the Study of Language and Information, 1993)
Keywords: Tarski's world; First-order logic