Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn
Intuitionistic and Modal Logic
Specifying and Verifying Fault-Tolerant Systems
Some Aspects and Examples of In nity Notions T ZF
Principle of Mathematical Induction
you can this version here
The Ontological argument 2
Weak Kripke Structures and LTL
Revising the AGM Postulates
relevance logic - Consequently.org
Sets and Functions - faculty.cs.tamu.edu
Self-Referential Probability
Section 1
Saying It with Pictures: a logical landscape of conceptual graphs
Truth-tables .1in | University of Edinburgh | PHIL08004 | .3in [width
Temporal Here and There - Computational Cognition Lab
The First Incompleteness Theorem
THE FEFERMAN-VAUGHT THEOREM We give a self
The Ext2 and Ext3 Filesystems
The Expressive Power of Modal Dependence Logic
The equational theory of N, 0, 1, +, ×, ↑ is decidable, but not finitely