01856nas 2200541- 450 99632109100331620210203051912.61898-9934(DE-599)ZDB2503975-1(OCoLC)310796052(CKB)1000000000306548(CONSER)--2015207495(EXLCZ)99100000000030654820090225a19969999 s-- aengurun|||||||||txtrdacontentcrdamediacrrdacarrierFormalized mathematics a computer assisted approach[Bialystok, Poland] :University of BiałystokWarsaw, Poland :De Gruyter OpenRefereed/Peer-reviewed1426-2630 Computer assisted approachMathematicsPeriodicalsLogic, Symbolic and mathematicalPeriodicalsMathematical analysisFoundationsPeriodicalsArithmeticFoundationsPeriodicalsArithmeticFoundationsfast(OCoLC)fst00814493Logic, Symbolic and mathematicalfast(OCoLC)fst01002068Mathematical analysisFoundationsfast(OCoLC)fst01012071Mathematicsfast(OCoLC)fst01012163Electronic journals.Periodicals.fastMathematicsLogic, Symbolic and mathematicalMathematical analysisFoundationsArithmeticFoundationsArithmeticFoundations.Logic, Symbolic and mathematical.Mathematical analysisFoundations.Mathematics.Uniwersytet w Białymstoku,JOURNAL996321091003316Formalized mathematics2253506UNISA