Stefan Waner and Steven R. Costenoble of Hofstra University begin this online textbook by assigning students to prove the existence of God. This leads them to a concise discussion not of faith but of symbolic logic. This resource covers: statements and logical operators; logical equivalence, tautologies and contradictions; the conditional and biconditional; tautological implications and...

This cornucopia of math and logic problems is provided at no charge courtesy of the folks at BarCodes Inc. Designed to serve as a type of one-stop destination for those who love such activities, the site serves as a thoughtfully curated collection that deals with math in the real world, logic puzzles, and much more. Visitors will find four different thematic areas, including Math and Logic...