TY  - BOOK
AU  - Shinoda,Juichi
AU  - Slaman,Theodore Allen
AU  - Tugué,Tosiyuki
TI  - Mathematical logic and applications: proceedings of the Logic Meeting held in Kyoto, 1987 
T2  - Lecture Notes in Mathematics,
SN  - 3540515275
PY  - 1989///
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/9783540515272
ER  -