Partiality and recursion in interactive theorem provers: An overview
Partial Grounded Fixpoints
Partial Correctness Specification
Part3
Part 3: First-Order Logic with Equality
Part 2
Part 1: Truth Tables - Duke Computer Science
Part 1: Propositional Logic
Part 1 - Logic Summer School
PARADOX AND INTUITION
paper by David Pierce
Paper - Department of Computer Science and Information Systems
Paper - Christian Muise
Palo Alto 2016 - Stanford Introduction to Logic
