Title: Logiske Metoder
Subtitle: Kunsten å tenke abstrakt og matematisk
Subjects: Proposition (Logic), Boolean Algebra, Symbolic and mathematical Logic, Mathematics, mathematical proofs, Graph theory, Combinatorics, Formal languages, Recursive functions, Set theory, Induction (Logic), Equivalence relations (Set theory)