The language of first-order logicby Barwise, Jon.First-order logicTarski's worldTarski's world (Computer program)Writing a summary for young readers…For young readersBook data: Open Library