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 Project Gutenberg EBook of The Algebra of Logic, by Louis
The Problem Solving Process
The Problem of Induction
The Perfect Set Theorem and Definable Wellorderings of the
The Pedagogical Aspects of Teaching Prime Numbers to Gifted
the partition property for certain extendible
THE PARADOXES OF STRICT IMPLICATION John L
The origin of the technical use of "sound argument": a postscript
The Origin of Proof Theory and its Evolution
The Ontological Argument Part 2 File
The Ontological Argument is a logical sleight of hand
