A Problem Course in Mathematical Logic; by Stefan Bilaniuk «
http://euclid.trentu.ca/math/sb/pcml/ | | Volume i: propositional and first-order logic. volume ii: computability and incompleteness. |
Around Gödel's Theorem «
http://www.ltn.lv/~podnieks/ | | (hyper)textbook for students in mathematical logic , by karlis podnieks. |
ASL Committee on Logic Education «
http://www.phil.ucalgary.ca/asl-cle/ | | Reports and resources from the association of symbolic logic. |
Course on Description Logics «
http://www.inf.unibz.it/~franconi/dl/course/ | | Slides and notes by enrico franconi. |
Disjunction «
http://plato.stanford.edu/entries/disjunction/ | | Theory and history of the binary connective 'or'; from the stanford encyclopedia of philosophy by ray jennings. |
Formal Methods Educational Materials «
http://www.cs.indiana.edu/formal-methods-education/ | | A repository for information related to formal methods in education , including pointers to existing courses and suggestions for examples and projects. |
Games Mathematicians Play «
http://www.math.usf.edu/~mccolm/RGintro.html | | Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. |
Gödel's Theorem and Information «
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html | | G. j. chaitin's proof of gödel's theorem using arguments having an algorithmic information theory flavor. |
Infinity «
http://www.c-parr.freeserve.co.uk/hcp/infinity.htm | | Exploring the logical basis and practical meaning of infinite sets. |
Logic Software from CSLI «
http://www-csli.stanford.edu/hp/ | | Hyperproof , tarski's world , turing's world , and the language of first-order logic , educational logic software by jon barwise and john etchemendy |
Logic Tutorial «
http://logictutorial.com/ | | An interactive tool teaching basic formal logic , rendering truth tables as clickable johnston diagrams. with notes on the buddhist nagarjuna and modern symbolic logic. |
Logical Laws «
http://sakharov.net/logic.html | | This page contains a collection of logical laws of the first-order logic. this collection is based on the kleene's collection from his books 'introduction to metamathematics' and 'mathematical logic' and contains a few additions. |
Mission: Critical «
http://www.sjsu.edu/depts/itl/ | | Interactive tutorial for critical thinking. |
The Daily Translation «
http://www.univnorthco.edu/philosophy/trans.html | | Problems on translation into a logical system , drawn from the current news and updated daily. |
The Logic Cafe «
http://www.oakland.edu/phil/cafe/ | | An online textbook , courseware package , and homework assistant for introductory symbolic logic. includes multimedia support. |
