00993nam--2200349---450-9900003498002033160034980USA010034980(ALEPH)000034980USA01003498020010306d1979----km-y0itay0103----baengDE||||||||001yyFirst-Order dynamic logicBerlinSpringer Verlag1979131 p.ill.24 cmLecture notes in computer science682001Lecture notes in computer science68001-------2001511.3HAREL,David543182ITsalbcISBD990000349800203316001 LNCS 687815001 LNCS00101424BKSCIPATTY9020010306USA01153720020403USA011643PATRY9020040406USA011624First-Order dynamic logic878552UNISA00839nam0 22002171i 450 UON0017820820231205103121.17520030730d1941 |0itac50 baitaIT|||| 1||||Elementi di statistica generaleCarlo Emilio Bonferroni MilanoUniversi tà commerciale Bocconi1941 - 406 p. ; 24 cmStatisticaManualiUONC034755FIBonferroniCarlo EmilioUONV100085103726ITSOL20250606RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00178208SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI B 0195 SI SC 16476 5 0195 Elementi di statistica generale33206UNIOR