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.