Logics for Computer Science: Classical and Non-Classical

  • Length: 535 pages
  • Publication Date: 2018-09-28