Sudoku and other puzzles can incorporate play and critical thinking skills, while easing students into solving standard math problems.

A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T, i.e., the binary relation between formulas $\{\langle \alpha,\beta ...

An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include ...