LEADER 01821nas  2200529-  450 
001 9910147189203321
005 20230203213020.0
011   $a1898-9934
035   $a(DE-599)ZDB2503975-1
035   $a(OCoLC)310796052
035   $a(CKB)1000000000306548
035   $a(CONSER)--2015207495
035   $a(EXLCZ)991000000000306548
100   $a20090225a19969999  s--            a
101 0 $aeng
135   $aurun|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFormalized mathematics $ea computer assisted approach
210  1$a[Bialystok, Poland] :$cUniversity of Bia?ystok
210 31$aWarsaw, Poland :$cDe Gruyter Open
300   $aRefereed/Peer-reviewed
311   $a1426-2630 
517 1 $aComputer assisted approach
606   $aMathematics$vPeriodicals
606   $aLogic, Symbolic and mathematical$vPeriodicals
606   $aMathematical analysis$xFoundations$vPeriodicals
606   $aArithmetic$xFoundations$vPeriodicals
606   $aArithmetic$xFoundations$2fast$3(OCoLC)fst00814493
606   $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068
606   $aMathematical analysis$xFoundations$2fast$3(OCoLC)fst01012071
606   $aMathematics$2fast$3(OCoLC)fst01012163
608   $aPeriodicals.$2fast
615  0$aMathematics
615  0$aLogic, Symbolic and mathematical
615  0$aMathematical analysis$xFoundations
615  0$aArithmetic$xFoundations
615  7$aArithmetic$xFoundations.
615  7$aLogic, Symbolic and mathematical.
615  7$aMathematical analysis$xFoundations.
615  7$aMathematics.
712 02$aUniwersytet w Bia?ymstoku,
906   $aJOURNAL
912   $a9910147189203321
996   $aFormalized mathematics$92253506
997   $aUNINA