×
  • Handbook of Logic in Computer Science: Volume 4: Semantic Modelling

    S. Abramsky Dov M. Gabbay T. S. E. Maibaum

15 - 17Hours to read