TY - BOOK AU - Marciszewski,Witold TI - Logika formalna: zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki PY - 1987/// CY - Warszawa PB - PaƄstw. Wydaw. Nauk. ER -