Temporal Logic, Presented by MR.


================================================


[MK] Included: (1)


a) Presentation material in word.