Klimek, Radosław. <br/><br/>
Wprowadzenie do logiki temporalnej / 
Radosław Klimek. 
 - Kraków :  AGH. Uczelniane Wydawnictwa Naukowo-Dydaktyczne,  1999. 
 - 173 strony :  ilustracje ;  24 cm. 
 - Skrypty Uczelniane / Akademia Górniczo-Hutnicza im. Stanisława Staszica,  1579  0239-6114 ; .
 - Skrypty Uczelniane - Akademia Górniczo-Hutnicza im. Stanisława Staszica  nr 1579 .
<br/><br/>Bibliografia na stronach 155-166. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logika<br/>Logika temporalna<br/>Wnioskowanie (logika)<br/>Logika temporalna--podręczniki akademickie.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Podręcznik
<br/><br/><label>Universal Decimal Class. No.: </label>161/164