Back to Results
First PageMeta Content
Propositional calculus / Predicate logic / Universal quantification / First-order logic / Well-formed formula / Existential quantification / Negation / Intuitionistic logic / Proposition / Logic / Mathematical logic / Quantification


[removed]Supplementary Notes: Higher-Order Logic Robert Harper
Add to Reading List

Document Date: 2005-01-05 16:58:46

Open Document

File Size: 82,43 KB

Share Result on Facebook
UPDATE