TY - BOOK AU - Lerman,Manuel AU - Schmerl,James Henry AU - Soare,Robert Irving TI - Logic year 1979-80: the University of Connecticut, USA T2 - Lecture Notes in Mathematics, SN - 3540107088 PY - 1981/// CY - Berlin [etc.] PB - Springer-Verlag KW - Logika symboliczna i matematyczna KW - kaba N1 - Bibliogr. przy rozdz; Dostępne również w formie elektronicznej UR - https://www.infona.pl/resource/isbn/9783540107088 ER -