Media type: Book Title: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds 1 Contributor: Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] Published: Oxford: Clarendon Press, 2003 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1,2003 Oxford logic guides ; 28,2003 Issue: Repr. Language: English ISBN: 0198537697 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Origination: Footnote:
Central Library – stack Shelf-mark: 2002 8 041137 Item ID: 34667054 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.
Departmental Library DrePunct Shelf-mark: SK 130 G112 T2-1 Item ID: 31002970 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.