applied+logic
121Colin Howson — Professor Colin Howson (born 1945) is a British philosopher who is a Professor of Philosophy at the University of Toronto, where he joined the faculty on July 1, 2008.[1] Previously, he was Professor of Logic at the London School of Economics. He …
122Epistemology — • That branch of philosophy which is concerned with the value of human knowledge Catholic Encyclopedia. Kevin Knight. 2006. Epistemology Epistemology …
123Ratio Studiorum — • The educational system of the Jesuits Catholic Encyclopedia. Kevin Knight. 2006. Ratio Studiorum Ratio Studiorum † …
124Arithmetical hierarchy — In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene hierarchy classifies certain sets based on the complexity of formulas that define them. Any set that receives a classification is called arithmetical. The… …
125Derivative algebra (abstract algebra) — In abstract algebra, a derivative algebra is an algebraic structure of the signature <A, ·, +, , 0, 1, D> where <A, ·, +, , 0, 1> is a Boolean algebra and D is a unary operator, the derivative operator, satisfying the identities: 0D …
126Transcendence theory — In mathematics, transcendence theory is a branch of number theory that investigates transcendental numbers, in both qualitative and quantitative ways.TranscendenceThe fundamental theorem of algebra tells us that if we have a non zero polynomial… …
127Strongly minimal theory — In model theory a branch of mathematical logic a minimal structure is an infinite one sorted structure such that every subset of its domain that is definable with parameters is either finite or cofinite. A strongly minimal theory is a complete… …
128Карамуэль, Хуан — Хуан Карамуэль и Лобковиц Хуан Карамуэль и Лобковиц (исп. Juan Caramuel y Lobkowitz; 23 мая 1606, Мадрид  7 сентября 1682 …
