A Critique of the Foundations of Hoare-Style
A Crevice on the Crane Beach: Finite-Degree
A Course in Modal Logic - Sun Yat
A course in Mathematical Logic
A counterexample-guided abstraction
A Contraction-free and Cut-free Sequent Calculus for
A constructive approach to nonstandard analysis*
A Conditional Logical Framework *
A Concurrent Logical Framework: The Propositional Fragment Kevin Watkins , Iliano Cervesato
A Concise Introduction to Mathematical Logic
A Computing Procedure for Quantification Theory
A Computationally-Discovered Simplification of the Ontological
A Computationally-Discovered Simplification of the Ontological
A computably stable structure with no Scott family of finitary formulas
A Complexity of Two-variable Logic on Finite Trees
A Combinatorial Characterization of Resolution Width
A causal approach to nonmonotonic reasoning
A Calculus for Type Predicates and Type Coercion
A Calculus for Belnap`s Logic in Which Each Proof Consists of Two
A Brief Introduction to the Intuitionistic Propositional Calculus
