Modelling Puzzles in First Order Logic

Adrian Groza

  • First published 2021
  • 338 pages
  • English