overview
applications
books on logic
combinatory logic
firstorder logic
history of logic
lambda calculus
logic & computing
logic & maths
mathematical logic
ontology
perspectives
philosophy
predicate
propositional
pure type systems
set theory
what? (phil)
what? (tech)
