nLab
logic

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Revised on December 16, 2009 18:28:35 by Toby Bartels (173.60.119.197)
Edit | Back in time (13 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: axiom of choice, equality, Lawvere-Tierney topology, foundations and logic, excluded middle, algebraic theory, context, negation, de Morgan duality, classical logic, stuff, structure, property, Sheaves in Geometry and Logic, type theory, FOLDS, Michael Makkai, ultrafilter theorem, compact space, Markov's principle, 2009 August changes, implication, variety of algebras, Charles Sanders Peirce, single-sorted definition of a category, type, Yuri Manin, propositional logic, higher-order logic, discrete mathematics, infinitesimal interval object, two-valued logic, induction, predicate, ionad, predicate logic, coherent formula, infinitesimal number