Proof systems for logics based on non-deterministic multiple - valued structures /
Avron, Arnon.
Proof systems for logics based on non-deterministic multiple - valued structures / Arnon Avron, Beata Konikowska. - Warsaw : Wydaw. Instytutu Podstaw Informatyki PAN, 2004. - 26 s. ; 21 cm. - Prace IPI PAN, 976 0138-0648 ; . - Prace IPI PAN 976 .
Bibliogr. s. 24-25.
Streszcz. pol.
Logika symboliczna i matematyczna.
Macierze (matematyka).
Proof systems for logics based on non-deterministic multiple - valued structures / Arnon Avron, Beata Konikowska. - Warsaw : Wydaw. Instytutu Podstaw Informatyki PAN, 2004. - 26 s. ; 21 cm. - Prace IPI PAN, 976 0138-0648 ; . - Prace IPI PAN 976 .
Bibliogr. s. 24-25.
Streszcz. pol.
Logika symboliczna i matematyczna.
Macierze (matematyka).