Cursusmateriaal

Voor de eerste twee onderwerpen wordt gebruik gemaakt van het boek:

Voor het derde onderdeel, termherschrijven, worden de sheets van het college gebruikt. Voor het vierde onderdeel schrijven we geen boek voor, maar gaan we ervan uit dat je beschikt over een standaard logica boek. Een goede kandidaat hiervoor is het boek van Van Benthem dat ook bij Beweren en Bewijzen wordt gebruikt. Voor het vijfde onderdeel maken we gebruik van hoofdstuk 3 uit het volgende boek. Dit boek hoeft niet aangeschaft te worden aangezien de inhoud van dat hoofdstuk beschikbaar wordt gemaakt.