TY  - BOOK
AU  - Di Prisco,C.A.
ED  - Latin American Symposium on Mathematical Logic
TI  - Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 
T2  - Lecture Notes in Mathematics
SN  - 3540152369
PY  - 1985///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Logika symboliczna i matematyczna
KW  - konferencje
KW  - kaba
N1  - Bibliogr. przy ref; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540152361
ER  -