User:B04902047/Books/book1


 * Probabilistic logic network
 * Categorical logic
 * Commutative diagram
 * Higher category theory
 * Monoidal category
 * Homotopy
 * Logic programming
 * Predictive analytics
 * Propositional representation
 * Language of thought hypothesis
 * Higher-order logic
 * Second-order predicate
 * Type theory
 * Network convergence
 * Convergence