Title: Logikk og beregnbarhet
Subjects: Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Formal Languages, Formal languages, Turing machines, Boolean Algebra, Proposition (Logic)