An Unsolvable Problem of Elementary Number Theory Alonzo
An un-rigorous introduction to the incompleteness theorems
An Overview of Intuitionistic and Linear Logic
An Introduction to SOFL
An Introduction to Proof Theory - UCSD Mathematics
An Introduction to Prolog Programming
An Introduction to Modal Logic VII The finite model property
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
