A Problem Course in Mathematical Logic; by Stefan Bilaniuk
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
Around Gödel's Theorem
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
Disjunction
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
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.
Gödel's Theorem and Information
G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
Language Proof and Logic Solutions
Educational resource for users of the Language Proof and Logic textbook.
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.
Logical Laws
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 '…