LEADER 01856nas  2200541-  450 
001 996321091003316
005 20210203051912.6
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   $aElectronic journals.
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   $a996321091003316
996   $aFormalized mathematics$92253506
997   $aUNISA

LEADER 01311nam0 22002891i 450 
001 UON00500492
005 20231205105412.328
100   $a20191118d1970       |0itac50      ba
101   $ager
102   $aDE
105   $a||||    |||||
200 1 $aAb urbe condita. 1., 1-9$eein mittellateinischer Kommentar und sechs romanische Übersetzungen und Kurzungen aus dem Mittelalter$faus den Handschriften herausgegeben von Curt J. Wittlin
210   $aTübingen$cNiemeyer$d1970
215   $aXIII, 90 p.$d21 cm.
316   $aDono Prof. Alberto Varvaro.$5IT-UONSI F. Varvaro3384
410  1$1001UON00500491$12001 $aRomanische Paralleltexte$v2
606   $aLetteratura medioevale$xStudi$3UONC094693$2FI
620   $aDE$dTübingen$3UONL000208
676   $a809.0902$cStoria, descrizione, studio critico di più d'una letteratura. Medioevo.$v21
702  1$aWITTLIN$bCurt$3UONV123808
712   $aNiemeyer$3UONV248111$4650
801   $aIT$bSOL$c20250613$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00500492
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI F. Varvaro3384                                                    $eSI    32910    7                            Dono Prof. Alberto Varvaro.
996   $aAb urbe condita. 1., 1-9$93900841
997   $aUNIOR