TY  - BOOK
AU  - Quine,W.V.
AU  - Koj,Leon
ED  - Państwowe Wydawnictwo Naukowe (1951-1992).
TI  - Logika matematyczna
PY  - 1974///
CY  - Warszawa
PB  - Państwowe Wydawnictwo Naukowe
KW  - Logika symboliczna i matematyczna
KW  - kaba
KW  - Logika matematyczna nieklasyczna
N1  - Bibliografia na stronach 324-329. Indeks
UR  - https://library.put.poznan.pl/spisy_tresci/193998.pdf
ER  -