A FORMULA SEPARATING TWO THEORIES
a first atempt to full descriptions of the new class
A Finite Model Theorem for the Propositional µ-Calculus
A Few Basics of Probability
A Deduction Method Complete for Refutation and Finite Satis ability
a Decidable Language Supporting Syntactic Query Difference
A Cut-Free Calculus for Second
A Critique of the Foundations of Hoare-Style Programming Logics
A Critique of the Foundations of Hoare-Style
A Crevice on the Crane Beach: Finite-Degree
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
