NMTS Meeting 11
Jump to navigation
Jump to search
Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.
Preparation
Create three exercises on your topic and think of how you could encode them in our wiki.
Online exercises 1
Homework for January 22
Reading
Read either of the two:
- On quantifiers: Chapter 4 of Kearns 2000.
- On types and sort: Chapter 6 of Kearns 2000.
(Kearns 2000 is available online via the UB Frankfurt)
Back to the course overview.