An Introduction to Modal Logic III Soundness of Normal
An Introduction to Mathematical Logic
An Introduction to Lower Bounds on Formula
An Introduction to Logic
An Introduction to Löb`s Theorem in MIRI Research
An introduction to ampleness
An Introduction to Alloy
an interpretation of aristotle`s syllogistic and a certain fragment of set
An Interpolating Theorem Prover
An Institution-Independent Generalization of Tarski`s Elementary
An Instantiation-Based Theorem Prover for First
An infinite descending chain of Boolean subfunctions consisting of
An Independence Result For Intuitionistic Bounded Arithmetic
an extension of spass deciding first
AN EXPOSITION ANS DEVELOPMENT OF KANGER`S EARLY
An efficient graph algorithm for dominance constraints
An Efficient Graph Algorithm for Dominance Constraints
AN EARLY HISTORY OF MATHEMATICAL LOGIC AND
An Axiomatization of G'3
An Automata Theoretic Decision Procedure for the Propositional Mu
