TY - JFULL ID - 4849781 TI - Formalized mathematics : a computer assisted approach. PY - 1996 SN - 18989934 14262630 PB - [Bialystok, Poland] : Warsaw, Poland : University of Białystok De Gruyter Open DB - UniCat KW - Mathematics KW - Logic, Symbolic and mathematical KW - Mathematical analysis KW - Arithmetic KW - Mathématiques KW - Logique symbolique et mathématique KW - Analyse mathématique KW - Arithmétique KW - Periodicals. KW - Foundations KW - Périodiques KW - Fondements KW - Logic, Symbolic and mathematical. KW - Mathematics. KW - Foundations. KW - Math KW - Foundations of mathematical analysis KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Foundations of arithmetic KW - 517.1 Mathematical analysis KW - computer-checked mathematics KW - repository of mathematical knowledge KW - formalization KW - mathematical knowledge management KW - Science KW - Axioms KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Calculators KW - Numbers, Real KW - Philosophy KW - Mathematical Sciences KW - Applied Mathematics UR - https://www.unicat.be/uniCat?func=search&query=sysid:4849781 AB - ER -