Tarski's world - Barker-Plummer, Dave.; Barwise, Jon.; Etchemendy, John, 1952- (Stanford, Calif. : CSLI Publications, 2008)
Περιέχει βιβλιογραφία και ευρετήριο.
Keywords: First-order logic