01014nam0-22003251i-450-99000047051040332120090218154811.03-54011212-X000047051FED01000047051(Aleph)000047051FED0100004705120020821d1982----km-y0itay50------baenga-------101yyLogics of programsworkshop, Yorktown Heights, New York, may 1981edited by Dexter KozenBerlin ; HeidelbergSpringer-Verlag1982429 p.ill.24 cmLecture notes in computer science131ProgrammazioneCongressi519.7Kozen,Dexter<1951- >Logics of programs workshop<1981 ;Yorktown Heights, New York>491519ITUNINARICAUNIMARCBK99000047051040332110 PRO 177DIS 7DINELDINELLogics of programs332010UNINA01274cam0 22003371 450 SOBE0005290820160704124614.0207010225420160704d1958 |||||ita|0103 bafreFRRomansRecits et sotiesOeuvres lyriquesAndré Gideintroduction par Maurice Nadeaunotices et bibliographies par Yvonne Davet et Jean-Jacques ThierryParisGallimard1958XL, 1614 p.18 cmBibliothèque de la Pléiade135001LAEC000151422001 *Bibliothèque de la Pléiade135Gide, AndréAF00005870070385265Nadeau, MauriceA600200062221070Davet, YvonneSOBA00013186070Thierry, Jean-JacquesSOBA00013187070ITUNISOB20160704RICAUNISOBUNISOB840|Coll|12|bis71613SOBE00052908M 102 Monografia moderna SBNM840|Coll|12|bis000026SI71613acquistoNmenleUNISOBUNISOB20160704124522.020160704124614.0menleRistampa, 1990Romans131895Oeuvres lyriques1724699Recits et soties1724698UNISOB