TY - BOOK AU - Grzegorczyk,Andrzej ED - Państwowe Wydawnictwo Naukowe (1951-1992). TI - Zarys logiki matematycznej T2 - Biblioteka Matematyczna, PY - 1973/// CY - Warszawa PB - Państwowe Wydawnictwo Naukowe KW - Logika symboliczna i matematyczna KW - podręczniki akademickie KW - kaba N1 - Bibliografia na stronach 499-502. Indeks ER -