University of Northern Colorado posts daily translation problems that draw from current events and requires knowledge of elementary logic.

Check out this official sub-collection of the World Library for Formal Methods that contains course pages, benchmarks and examples, tools, and instructional materials.

Features material on the foundations of combinatorial game theory, and the connections to mathematical logic. With links to related topics and people.

Paper published in the International Journal of Theoretical Physics explores Goedel's theorem and uses arguments having an information-theoretic flavor.

Read this transcription of notes from an MIT course taught by professor Sacks. Discusses propositional calculus, first-order logic, and recursion theory.

Educational resource focuses on math topics and includes this section on the Cantor set also known as Cantor's Dust.

Download Isabelle, a generic theorem prover sufficiently developed to support high-level proofs.