01821nas 2200529- 450 991014718920332120230203213020.01898-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)fst01012163Periodicals.fastMathematicsLogic, Symbolic and mathematicalMathematical analysisFoundationsArithmeticFoundationsArithmeticFoundations.Logic, Symbolic and mathematical.Mathematical analysisFoundations.Mathematics.Uniwersytet w Białymstoku,JOURNAL9910147189203321Formalized mathematics2253506UNINA