00900nam0-2200325---450-99000846817040332120070406114715.088-16-95077-3IT98-104s000846817FED01000846817(Aleph)000846817FED0100084681720070213d1990----km-y0itay50------baitaITy-------001yyPassioni della scienzaDescartes e la nascita della psicologiaFrancesca BonicalziMilanoJaca Book1990137 p.23 cmEdizioni universitarie Jaca170.9220itaBonicalzi,Francesca45066ITUNINARICAUNIMARCBK990008468170403321SDI-KF 7922358SDISDIPassioni della scienza79817UNINA01004nam0-2200337li-450 99000016061020331620180312154644.00-471-61546-30016061USA010016061(ALEPH)000016061USA01001606120001109d1987----km-y0itay0103----baengUSLogic for computer sciencefoundations of automatic theorem provingJean H. GallierNew York [etc.]John Wiley & Sonscopyr. 1987logica simbolica511.3.Gallier,Jean H.65693Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000160610203316511.3 GAL0004738BKTEC1994060620001110USA01171220020403USA011623PATRY9020040406USA011612Logic for computer science1488570UNISA01129nam0 22002651i 450 UON0001083320231205101932.85220020107d1964 |0itac50 baengDK|||| 1||||'Ali and Mu'awiya in early Arabic traditionsStudies on the genesis and growth of Islamic historical writing until the end of the ninth centuryErling Ladewing PetersenCopenhagenMunksgaard1964203 p.25 cmISLAMGENESIUONC004026FIDKCopenhagenUONL000180ARA VII CPAESI ARABI - FILOSOFIA E RELIGIONE - SUFISMOAPETERSENErling LadewingUONV008603639451MunksgaardUONV247043650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00010833SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI ARA VII C 070 SI AR 1409 7 070 Ali and Mu'awiya in early Arabic traditions1178546UNIOR