Kurslitteratur:
Forbes: Modern Logic. [Säljes på Kårbokhandel .]
 

Föreläsare:
D1	Bengt Ek	bek@math.kth.se	08-790 6951
IT2	Jan Kristoferson	janke@math.kth.se	08-790 7287

Datateknik

Informationsteknik

Tentamen:
Onsdagen den 9 januari 2002, kl 0800-1300.
Torsdagen den 7 mars 2002, kl 0800-1300.
Torsdagen den 23 maj 2002, kl 0800-1300.
Augustiperioden 2002.