Home›Books›Tarski's WorldTarski's Worldby Barwise, Jon., John Etchemendy1 computer disk ; 3 1/2 in. +Macintosh (computer)Computers, handbooks, manuals, etc.First-order logic -- Software