The theorem, it`s meaning and the central concepts
The Taming of the (X)OR
The Surprise Examination Paradox and the Second Incompleteness
The Surprise Examination Paradox and the Second Incompleteness
The superjump in Martin-Löf type theory
The substitutional theory of logical consequence
The strong completeness of the tableau method 1 The strong
the simple substitution property of the intermediate propositional logics
THE SEQUENT GENTZEN SYSTEM FOR m
The semantics of propositional logic
The semantics of predicate logic
THE SEMANTICS OF MODAL PREDICATE LOGIC II. MODAL
The Semantic Complexity of some Fragments of English
The Science of Proof - University of Arizona Math
The Satisfiability Problem for Probabilistic CTL
the role of logic in teaching, learning and analyzing proof
The Relative Efficiency of Propositional Proof
The Pure Calculus of Entailment Author(s): Alan Ross Anderson and
The Project Gutenberg EBook of The Algebra of Logic, by Louis
The Problem Solving Process
