Herman Ruge Jervell: Formal logic. A guided tour., Unipub forlag 2004.
Deler av boken blir ikke pensum:
Side 36 og ut avsnitt 1.2 går ut.
Øverste halvdel av side 53 går ut.
Teksten fra og med "It is slightly more difficult.." side 81, og ut avsnitt 2.2 går ut.
Problem 44 side 92 og de 8 linjene under (frem til og med " ... Bss in the succedent" går ut.
Fra og med Problem 45 side 92 og ut kapittel 2 forventes det bare at man kjenner resultatene som bevises i problemene 45 og 46, og at man vet hva Gødels kompletthetsteorem (Teorem 1) er. Det forventes ikke at man skal kunne gi beviser for dette.
Problem 55 utgår. Sidene 111 og 112, pluss øverste halvpart av 113, er altså ikke pensum.
Avsnitt 3.5 (sidene 140 - 143) utgår.
Avsnitt 4.3 (sidene 161 - 165) er bare delvis pensum: Man skal vite hva det vil si at noe er en universell Turingmaskin (og at det finnes slike!) men trenger ikke være i stand til å gjengi detaljene om hvordan (den veldig kompakte!) maskinen side 163/164 fungerer.
Avsnitt 4.5 (sidene 171 - 175) utgår.
Avsnitt 5.3 og hele kapittel 6 (side 183 og ut boka) utgår.
Dette notatet (pdf-versjon ) korrigerer en feil side 179, og er også pensum.
Følgende notat om stakkautomater (pdf-versjon ) utdyper definisjonen av stakkautomater, og er anbefalt lesning.