TY  - BOOK
AU  - Klimek,Radosław
ED  - Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków).
TI  - Wprowadzenie do logiki temporalnej
T2  - Skrypty Uczelniane / Akademia Górniczo-Hutnicza im. Stanisława Staszica,
PY  - 1999///
CY  - Kraków
PB  - AGH. Uczelniane Wydawnictwa Naukowo-Dydaktyczne
KW  - Logika
KW  - DBN
KW  - Logika temporalna
KW  - Wnioskowanie (logika)
KW  - podręczniki akademickie
KW  - kaba
KW  - Podręcznik
N1  - Bibliografia na stronach 155-166
UR  - https://library.put.poznan.pl/spisy_tresci/192788.pdf
ER  -