Jarmużek Tomasz. <br/><br/>
Formalizacja metod tablicowych dla logik zdań i logik nazw  [dokument elektroniczny] / 
Tomasz Jarmużek. 
 - Toruń :  Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika,  2013. 
<br/><br/>