Proof by contrapositive, contradiction
Proof and computation rules
Proof analysis beyond geometric theories: from rule systems to
Prolog arithmetic
Prolog and the Resolution Method
Prolog 1 - Department of Computer Science
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 (Part I)
Problems on Discrete Mathematics1
PROBLEM SOLVING THROUGH FIRST-ORDER LOGIC
Problem Set 3
Probability Captures the Logic of Scientific
Probabilistic Theorem Proving - The University of Texas at Dallas
Probabilistic Propositional Logic