About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 210. Chapters: Logical calculi, Mathematical axioms, Rules of inference, Systems of formal logic, Systems of set theory, First-order logic, Modus ponens, Modus tollens, Peano axioms, De Morgan's laws, Proof by contradiction, Probability axioms, Law of excluded middle, Disjunctive syllogism, Type theory, Propositional calculus, Natural deduction, Zermelo-Fraenkel set theory, Fuzzy set, Disjunction elimination, Disjunction introduction, Double negative elimination, Biconditional introduction, Conjunction introduction, Biconditional elimination, Predicate logic, Intuitionistic logic, On Numbers and Games, Tuple relational calculus, Naive Set Theory, Paraconsistent logic, Second-order logic, Von Neumann-Bernays-Godel set theory, Method of analytic tableaux, Implementation of mathematics in set theory, Laws of Form, Rough set, New Foundations, Mereology, Admissible rule, Dependence logic, Sequent calculus, Relation algebra, Default logic, Frege's propositional calculus, Situation calculus, Tarski's axioms, Morse-Kelley set theory, Predicate functor logic, List of logic systems, Physical symbol system, Hilbert system, Internal set theory, Existential graph, Scott-Potter set theory, List of rules of inference, Mereotopology, Law of thought, Whitehead's point-free geometry, Categorical logic, Huzita-Hatori axioms, Zermelo set theory, Pocket set theory, Resolution, Event calculus, Principle of contradiction, Transposition, Axiomatic system, Formal ethics, Law of identity, Constructive set theory, Implicational propositional calculus, Gluing axiom, Infinitary logic, General set theory, Rule of inference, Formal system, Contraposition, Asynchronous logic, Intermediate logic, Kripke-Platek set theory, Negation as failure, Principle of explosion, Tarski-Grothendieck set theory, Conversion, Non-well-founded set theory, Higher-order logic, Univ...
