An Elementary Introduction to Logic and Set Theory
An online tutorial including sentential logic, predicate logic and quantifiers, methods of proof, and naive set theory.
Introduction to Logic
A set of online tutorials for the study of elementary logic covering propositional and predicate calculus. Also an interactive Java applet with exercises.
Logic and Paradoxes
Brief introduction on logic and paradoxes.
Symbolic Logic by Lewis Carroll
The Game of Logic is a book, published in 1886, written by the English mathematician Charles Lutwidge Dodgson (1832–1898), better known under his literary pseudonym Lewis Carroll. In addition to his well-known children's literature, Dodgson/Carroll was an academic mathematician who worked in mathematical logic. The book describes, in an informal and playful style, the use of a board game to represent logical propositions and inferences. Dodgson/Carroll incorporated the game into a longer and more formal introductory logic textbook titled Symbolic Logic, published in 1897. The books are sometimes reprinted in a single volume.