Categories: teaching



Related articles:

  • 2013-11-13 PhD student course on logic, proof and mechanized theorem proving