A Propositional Modal Logic for the Liar Paradox Martin Dowd
A proposition is any declarative sentence (including mathematical
A Proof Theory for Generic Judgments: An extended abstract
A Proof Theory for Generic Judgments
A Proof Theory for Generic Judgments
A Proof of Nominalism. An Exercise in Successful
A Proof of Cut-Elimination Theorem for U Logic.
A proof
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
