TY  - BOOK
AU  - Avron,Arnon
AU  - Konikowska,Beata
TI  - Proof systems for logics based on non-deterministic multiple - valued structures
T2  - Prace IPI PAN,
PY  - 2004///
CY  - Warsaw
PB  - Wydaw. Instytutu Podstaw Informatyki PAN
KW  - Logika symboliczna i matematyczna
KW  - kaba
KW  - Macierze (matematyka)
N1  - Bibliogr. s. 24-25
ER  -