Øhrstrøm, Peter, 1949-
Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle. -- Dordrecht : Kluwer Academic Publishers, c1995. -- viii, 413 s. : il. -- (Studies in linguistics and philosophy ; vol. 57). -- 3133024373 - dotisk 2010. -- Zpracováno dle dotisku 2010. -- ISBN : 978-90-481-4584-3 (dotisk : brož.). -- 0-7923-3586-4 (váz.).
Hasle, Per F. V
logika. symbolická logika. matematická logika. studie
16. 164. 510.6. (048.8)