The Future of Post-Human Mathematical Logic
propositional logic extended with a pedagogically useful relevant
Propositional Definite Clause
Problems on Discrete Mathematics1 (Part I)
Problems on Discrete Mathematics1
Principle of Mathematical Induction
Understanding SPKI/SDSI Using First-Order Logic
Types, Operators and Expressions
Truth-tables .1in | University of Edinburgh | PHIL08004 | .3in [width
Topological aspects of real-valued logic
Structural Proof Theory
Slides for Rosen, 5th edition
Set Theory and Logic
Rhetorical Analysis
Rhetorical Analysis
Revising the AGM Postulates
Termination of Higher-order Rewrite Systems
tasks 41
writing a conclusion
When is Metric Temporal Logic Expressively Complete?
