North Hollywood, CA 91605
Logic, Logic, & Logic
...temporal and epistemic flavors), (4) first-order modal logic, (5) theories of sets (ZFC, NF, ML), relations, functions (combinatory logic, lambda calculus
), and types, (6) second-order logic, (7) intuitionistic, provability, and relevance logics, (8) axiomatic systems,...
| 10+ other subjects