01327nam 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