Child pages
  • Logic toolbox for mainstream mathematicians, fall 2015

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


There will be a final exam of the course on Monday 19Wednesday 21.10. at 1312-15. Exam postponed - see your mail for details14.30 in the large auditorium (A111).

The deadline for the project is 1.11.2015.