A Prologue to the Theory of Deduction
A Problem Course in Mathematical Logic Volume II Computability
A priori
A Primer on Proving
A Primer on Mathematical Proof
A PRIMER OF SIMPLE THEORIES Introduction The question of how
A preprint version is available here in pdf.
A pragmatic dialogic interpretation of bi
A Pebble Weighted Automata and Weighted Logics
a PDF file of the textbook - U of L Class Index
A Partially Truth Functional Approach to
A Paedagogic Example of Cut-Elimination
A Note on the Relation between Inflationary Fixpoints and Least
A Note on Naive Set Theory in LP
A Note on Bootstrapping Intuitionistic Bounded Arithmetic
A Note on Assumptions about Skolem Functions
A Nonstandard Approach to the. Logical Omniscience Problem
A non-standard Semantics for Inexact Knowledge with Introspection
A New Theory of Content
A new method to express sums of power of integers as a polynomial
