TY  - BOOK
TI  - Logika formalna: zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki 
PY  - 1987///
CY  - Warszawa
PB  - Państ. Wydaw. Naukowe
KW  - Logika
UR  - http://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=23677
ER  -