Modelling Puzzles in First Order Logic

Adrian Groza

  • First published 2021
  • English