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 .
<br/><br/>Bibliogr. przy artykułach. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540527346 0387527346 
<br/><br/><label>Universal Decimal Class. No.: </label>510.6 :  519.68](06)