Tarski's world /
Barker-Plummer, Dave.
Barwise, Jon.
Etchemendy, John,1952-
Stanford, Calif. : CSLI Publications,
c2008.
One computer disc inside back cover.
Includes indexes.
Tarski's world.
First-order logic.
Accompanying disc is available for use on a standalone workstation within the library for single users. Disc will require installation.