

Science Math Logic and Foundations Education Science Math Logic and Foundations Education sites Education.LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Education Science Math Logic and Foundations Education sites Education.LogicandFoundations.Math.sciencesites.work 

Around GĂ¶del's Theorem (Hyper)textbook for students in mathematical logic , by Karlis Podnieks. www.ltn.lv/~podnieks/ 

ASL Committee on Logic Education Reports and resources from the Association of Symbolic Logic. www.ucalgary.ca/aslcle/ 

Course on Description Logics Slides and notes by Enrico Franconi. www.inf.unibz.it/~franconi/dl/course/ 

Disjunction Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings. plato.stanford.edu/entries/disjunction/ 

Formal Methods Educational Materials A repository for information related to formal methods in education , including pointers to existing courses and suggestions for examples and projects. www.cs.indiana.edu/formalmethodseducation/ 

Games Mathematicians Play Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. www.math.usf.edu/~mccolm/RGintro.html 

Logic Tutorial An interactive tool teaching basic formal logic , rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic. logictutorial.com/ 

Logical Laws This page includes a collection of logical laws of the firstorder logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions. sakharov.net/logic.html 

The Logic Cafe An online textbook , courseware package , and homework assistant for introductory symbolic logic. Includes multimedia support. www.oakland.edu/phil/cafe/ 

The Logic Daemon Online proof checker , and texts. logic.tamu.edu/ 

University of Alberta Logic Course Includes an introduction to logic and formal systems , revolving around the Mizar proof checker , and a guide to Mizar. ugweb.cs.ualberta.ca/~c272/ 
