The US Code Defines the term "United States"
The unintended interpretations of intuitionistic logic
THE ULTRAPRODUCT CONSTRUCTION 1. Introduction The
the theory of form logic - University College Freiburg
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
