Proof of the Soundness Theorem
Proof Nets Sequentialisation In Multiplicative Linear Logic
Proof Issues with Existential Quantification
Proof by contrapositive, contradiction
Proof and computation rules
Proof analysis beyond geometric theories: from rule systems to
Prolog arithmetic
Prolog and the Resolution Method
Projection, Consistency, and George Boole
Programming with Classical Proofs
Programming in Logic Without Logic Programming
Programming and Problem Solving with Java: Chapter 14
Program Equilibrium in the Prisoner`s Dilemma via Löb`s Theorem
proceedings version
Problem_Set_01
Problems on predicates
Problems on Discrete Mathematics1
PROBLEM SOLVING THROUGH FIRST-ORDER LOGIC
Problem Set 3
Probability Captures the Logic of Scientific
