00918nam0-22003131i-450-99000047056040332120090220120015.03-540-15648-8000047056FED01000047056(Aleph)000047056FED0100004705620020821d1985----km-y0itay50------baenga-------101yyLogics of programsBrooklyn, june 17-19, 1985, proceedingsedited by Rohit ParikhBerlin ; HeidelbergSpringer-Verlag©1985424 p.ill.24 cmLecture notes in computer science193Programmi per computerCongressi005Parikh,RohitITUNINARICAUNIMARCBK99000047056040332110 PRO 221513 DISDINELDINELLogics of programs332017UNINA