A Survey on the Model Theory of Difference Fields - Library
A Survey on Small Fragments of First-Order Logic over Finite
A Supervised Learning Approach to Search of Definitions[*]
A strong intuitionistic theory of functionals
A Small Framework for Proof Checking - CEUR
A simplified form of condensed detachment - Research Online
A Simple Tableau System for the Logic of Elsewhere
A simple proof of Parsons` theorem
A Simple Exposition of Gödel`s Theorem
A Simple and Practical Valuation Tree Calculus for First
A Simpl Shortest Path Checker Verification
A SHORT PROOF FOR THE COMPLETENESS OF
A Short Introduction to the Idea of Proof.
A Short Glossary of Metaphysics
A short article for the Encyclopedia of Artificial Intelligence: Second
A SHORT AND READABLE PROOF OF CUT ELIMINATION FOR
A Shallow Embedding of Pure Type Systems into First
A sequent calculus demonstration of Herbrand`s Theorem
A Separate Court for Children: Historical Antecedents of a
a semantic perspective - Institute for Logic, Language and
A Revised Concept of Safety for General Answer Set Programs