×
  • A Concise Introduction to Propositional Dynamic Logic

    Krister Segerberg

Click on cover to enlarge.
1 - 2Hours to read