Math Logic and Foundations Education

• A Problem Course in Mathematical Logic; by Stefan Bilaniuk  - Highlights definitions, statements of results, and problems. With explanations, examples, and hints.
• Course on Description Logics  - Presents theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way. With course materials.
• The Daily Translation  - Provides daily posting of problems and issues. With archives and contact information.
• Disjunction  - Shows editorial information, proof theories, and archives. Includes related topic entries.
• Formal Methods Educational Materials  - Education methods include pointers to existing courses and suggestions for examples and projects. Includes benchmarks and examples.
• Games Mathematicians Play  - Information includes linguistic and historical introduction. With games in logic and related links.
• The Logic Cafe  - Features the degree of integration between text and computer program and its web availability. With a feedback from the users and FAQs.
• The Logic Daemon  - Showcases interactive logic software used for teaching introductory formal logic. Includes information on logic daemon and quizmaster.
• Logic Tutorial  - Provides an illustration of formal logic with exclusion diagrams. Includes essays in applied logic.
• Logical Laws  - Presents laws not containing quantifiers, formulas, and equivalence. With details on quantifier alterations.
• University of Alberta Logic Course  - Includes course information sheet and references, reference scheme, and course topics. With important dates and general policies.