[math/0601709] Logic for Everyone
arxiv.org