Logic and computer science : 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 /

Logic and computer science : 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 / ed. P. Odifreddi ; S. Homer [et al.]. - Berlin : Springer-Verlag, 1990. - [6], 162 s. : rys. ; 25 cm. - Lecture Notes in Mathematics, 1429 0075-8434 ; . - Lecture Notes in Mathematics 1429 .

Bibliogr. przy artykułach.



3540527346 0387527346

510.6 : 519.68](06)