Methods in mathematical logic :  proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / 
ed. by C. A. Di Prisco. 
 - Berlin [etc.] :  Springer-Verlag,  1985. 
 - VII, 407 s. ;  24 cm. 
 - Lecture Notes in Mathematics ;  1130 .
 - Lecture Notes in Mathematics  1130 .
<br/><br/>Bibliogr. przy ref. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540152369 0387152369 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logika symboliczna i matematyczna--konferencje.
<br/><br/><label>Universal Decimal Class. No.: </label>517.1(061.3)