Avron, Arnon. <br/><br/>
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 .
<br/><br/>Bibliogr. s. 24-25. 
<br/><br/><br/>Streszcz. pol. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logika symboliczna i matematyczna.<br/>Macierze (matematyka).