Het dictaat Logica is gebaseerd op het boek:

S.C. van Westrhenen  R. Sommerhalder en J.F.M. Tonino, Logica: een inleiding met toepassingen in de informatica, Academic Service, Schoonhoven 1993.

Niet alle hoofdstukken behoren tot het studiemateriaal voor het vak, per onderwerp staat aangegeven welke delen uit dictaat kunnen worden bestudeerd. De gedeelten in een kleiner lettertype zijn meer geavanceerd.

We maken ook gebruik van delen van de tekst Beschrijven en Bewijzen, die gebruikt wordt als materiaal bij het vak Beschrijven en Bewijzen in de opleiding Informatica aan de Universteit Utrecht. Een groot deel hiervan is gebaseerd op delen van het collegedictaat Inleiding Logica en Discrete Structuren zoals dat in de jaren 80 door de tweede auteur is ontwikkeld; de afgelopen jaren is de tekst aanzienlijk uitgebreid en aangepast door de eerste auteur.

In de meest uiteenlopende facetten van de informatica is het wenselijk of noodzakelijk de gemaakte claims objectief en gedegen te onderbouwen, niet in de laatste plaats om anderen van de geldigheid ervan te kunnen overtuigen. Voor het geven van een onderbouwing van de geldigheid van een bewering is een heel scala van wiskundige bewijstechnieken en redeneervormen beschikbaar:bewijzen. Alvorens deze technieken toepasbaar te maken en op een uniforme wijze over de problemen te kunnen communiceren, is het in het algemeen noodzakelijk het onderhavige probleem in een formeel raamwerk te modelleren: beschrijven. Deze tekst is er op gericht te oefenen in dit modelleren, en vaardigheden op te doen in het toepassen van bewijstechnieken waarbij onderweg een stuk wiskundig begrippenapparaat wordt eigen gemaakt. In wat meer klassieke terminologie zou het ook Logica en Verzamelingenleer hebben kunnen heten, waarbij dan wel de nadruk niet alleen op de begrippen zelf ligt, maar vooral op het omgaan met dergelijke precies gedefinieerde begrippen.