0:31 play_arrow [Read] Logic in Computer Science: Modelling and Reasoning about Systems Review dm_5becaaa6c2ca5ba2a30ed931d29d42c9 visibility 1 schedule 6 years ago favorite