Pensum/l?ringskrav

Christopher C. Leary: A Friendly Introduction to Mathematical Logic, 2000. Prentice-Hall Inc.. ISBN:?0-13-010705-0. Kapitlene 1, 2, 3, 4 og avsnittene 5.1-5.3.

Publisert 18. juni 2004 13:15 - Sist endret 2. juli 2004 10:15