NMTS Meeting 11: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{MaterialUnderConstruction}} == Homework for January 15 == <hr /> Back to the course overview.") |
|||
| Line 1: | Line 1: | ||
{{MaterialUnderConstruction}} | {{MaterialUnderConstruction}} | ||
== Homework for January | == 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) | |||
<hr /> | <hr /> | ||
Back to the [[NMTS_Course_Overview|course overview]]. | Back to the [[NMTS_Course_Overview|course overview]]. | ||
Revision as of 22:46, 17 December 2012
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.
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.