LEADER 00786nam0-22002771i-450- 001 990005718840403321 005 20070116171502.0 035 $a000571884 035 $aFED01000571884 035 $a(Aleph)000571884FED01 035 $a000571884 100 $a19990604d1965----km-y0itay50------ba 101 0 $ager 105 $aa-------00--- 200 1 $a<>trojanische krieg$eBeitrag zur Lösung des problems$fvon Hildegard Weigel 210 $aBerlin$c[s.n.]$d1965 215 $a104 p.$cill.$d29 cm 676 $a939.21$v21$zita 700 1$aWeigel,$bHildegard$0204972 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005718840403321 952 $a939.21 WEI 1$bBIBL. 54089$fFLFBC 959 $aFLFBC 996 $aTrojanische Krieg$9539230 997 $aUNINA LEADER 00993nam0-22003131i-450- 001 990000004150403321 035 $a000000415 035 $aFED01000000415 035 $a(Aleph)000000415FED01 035 $a000000415 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aEtude theorique et experimentale des coups de belier$fCharles Camichel , Denis Eydoux , Maurice Gariel. 210 $aToulouse$cPrivat$d1918 215 $a398 p.$cill.$d28 cm 225 1 $aPublications de l'Institut electrotecnique et de mecanique appliquee de l'Universite de Toulouse 676 $a628.1 700 1$aCamichel,$bCharles$0363 702 1$aEydoux,$bDenis 702 1$aGariel,$bMaurice 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000004150403321 952 $a13 B 57 04$b4001$fFINBC 959 $aFINBC 996 $aEtude theorique et experimentale des coups de belier$9107500 997 $aUNINA DB $aING01 LEADER 01448nam 2200385 450 001 000016260 005 20050718115600.0 010 $a0-521-35653-9 100 $a20030905d1986----km-y0itay0103----ba 101 0 $aeng 102 $aGB 200 1 $aIntroduction to higher order categorical logic$fJ. Lambek, P.J. Scott 210 $aCambridge [etc.]$cCambridge University Press$d1986 215 $aX, 293 p.$d24 cm. 225 2 $aCambridge studies in advanced mathematics$v7 410 0$12001$aCambridge studies in advanced mathematics 606 $aCategoria (matematica) 676 $a512.55$v(21. ed.)$9Algebre topologiche e algebre connesse, gruppi topologici e gruppi connessi 691 $a03G30$9Algebraic logic. Categorical logic, topoi 700 1$aLambek,$bJoachim$056983 701 1$aScott,$bP. J.$0441983 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000016260 996 $aIntroduction to higher order categorical logic$982419 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT002$b01$c20030905$lBAS01$h1320 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1053 CAT $c20050718$lBAS01$h1112 CAT $c20050718$lBAS01$h1142 CAT $c20050718$lBAS01$h1156 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$666689$5S66689$820030905$f51$FRiservati