Herman Ruge Jervell: Logikk og beregnbarhet, 2001. Unipub. ISBN:?82-7477-072-2 (h.). Hele kapittel 1 og 2 er pensum, unntatt side 33-34 om modallogikk, avsnittene 1.4 og 2.3 om Hornformler, og reglene for likhet i sekventkalkyle. De to siste kapitlene blir ogs? pensum; eventuelle unntak her kunngj?res senere.
Kapittel 3 er pensum med unntak av:
- ?verste halvpart side 122
- avsnitt 3.6
Kapittel 4 er pensum med unntak av:
- den universelle maskinen beskrevet p? sdie 150-151 i avsnitt 4.3
- avsnittene 4.6 og 4.7