User:Alec.brady/Books/Logic

Logic

 * Outline of logic
 * Predicate (mathematical logic)
 * Turnstile (symbol)
 * Predicate functor logic
 * Predicate logic
 * Autoepistemic logic
 * Intensional logic
 * Noncommutative logic
 * Strict logic
 * Linear logic
 * Affine logic