Tarski's world 3.0by Barwise, Jon.First-order logicTarski's worldLogic, symbolic and mathematicalWriting a summary for young readers…For young readersBook data: Open Library