Simply Logical: Intelligent Reasoning by Example
Cut-elimination for provability logics and some results in display logic
Principia Logico-Metaphysica (Draft/Excerpt)
logic, programming and prolog (2ed)
Modal fixpoint logic: some model theoretic questions
Problems on Discrete Mathematics1 (Part I)
Interpretability formalized
Intuitionistic and Modal Logic
Notes on the Science of Logic
Line Leader Logic Puzzle
Lecture 2
a PDF file of the textbook - U of L Class Index
The Computer Modelling of Mathematical Reasoning Alan Bundy
Curry-Howard Isomorphism - Department of information engineering
Elements of Finite Model Theory
Modal Logic - Web Services Overview
Godel`s Proof
Logic and Proof
The Liar Paradox: A Consistent and Semantically Closed Solution
Lecture 3. METHODOLOGY OF SCIENTIFIC WORK
