James L. Hein: Discrete Structures, Logic, and Computability, Second Edition, 2002. Portland State University. ISBN:?0763718432. Deler av boken blir pensum.
Dette notatet korrigerer feil, og er ogs? pensum.