Homework 5
Harmony, Normality and Stability
Curry-Howard Isomorphism - Department of information engineering
Foundations of Computation - Department of Mathematics and
Color - Alex Kocurek
1.1.2 Examples of Axiomatic Systems
article in press - School of Computer Science
Bridge to Abstract Mathematics: Mathematical Proof and
X - NUS School of Computing
Proof, Sets, and Logic - Boise State University
Principle of Mathematical Induction
The Monty Hall Problem - Iowa State University
The Liar Paradox: A Consistent and Semantically Closed Solution
The Journal of Functional and Logic Programming The MIT Press
Simply Logical: Intelligent Reasoning by Example
TR-14-06 - Ynot - Harvard University
Labeled Natural Deduction for Temporal Logics
On the Complexity of Qualitative Spatial Reasoning: A Maximal
ON PERTURBATIONS OF CONTINUOUS STRUCTURES
PhD Thesis First-Order Logic Investigation of Relativity Theory with
