Kurset har skiftet l?rebok, og den nye er: Richard Hammack Book of Proofs, Second Edition, ISBN 978-0-9894721-0-4. Boken foreligger ogs? i elektronisk form, og kan lastes ned gratis fra:
http://www.people.vcu.edu/~rhammack/BookOfProof/
Noen av temaene i boken (som telling og induksjon) er dekket i tidligere kurs og vil ikke bli gjentatt her. Til gjengjeld er det emner i kurset som boken ikke dekker, og jeg har derfor supplert boken med en del notater:
Tillegg til kapittel 1: Mer om mengder
Tillegg til kapittel 11: Mer om relasjoner
Tillegg til kapittel 12: Mer om funksjoner
Notat om algebraiske strukturer