First-Order Dynamic Logic

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • 1979
  • Paperback
  • 136
  • Sproget er ikke defineret
  • 1
  • 9783540092377
115,00 kr.