User:Benmcalister/Books/Logic

Logic

 * Logic
 * Propositional calculus
 * Predicate logic
 * First-order logic
 * Second-order logic
 * Infinitary logic
 * Mathematical logic
 * Ontology
 * Ontology (information science)
 * Formal language
 * Upper ontology
 * Perdurantism
 * Endurantism
 * Four-dimensionalism
 * Mereology
 * Semantic interoperability
 * Organon