00747nam0-22002651i-450-99000677295040332120001010000677295FED01000677295(Aleph)000677295FED0100067729520001010d--------km-y0itay50------baitay-------001yyGUIDA Monaciil siglario italiano 1991sigle e abbreviazioni di uso comune = Initials and abreviations in common useRomaGuida Monaci1991.1 v. 26 cmITUNINARICAUNIMARCBK990006772950403321XXX COD. 65713885FSPBCFSPBCGUIDA Monaci112996UNINAGEN0101327nam a22003255i 4500991002236799707536cr nn 008mamaa121227s1990 de | s |||| 0|eng d9783540471356b14142508-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323AMS 03B20AMS 03B40Homer, Steven291864Logic and computer science[e-book] :lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /by Steven Homer ... [et al.] ; edited by Piergiorgio OdifreddiBerlin :Springer,19901 online resource (v, 162 p.)Lecture Notes in Mathematics,0075-8434 ;1429MathematicsComputer scienceLogic, Symbolic and mathematicalOdifreddi, PiergiorgioSpringer eBookshttp://dx.doi.org/10.1007/BFb0093921An electronic book accessible through the World Wide Web.b1414250803-03-2205-09-13991002236799707536Logic and computer science262340UNISALENTOle01305-09-13m@ -engde 00