Logica voor informaticaJ.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting, J.S. Lodder, W.P.M. Meyer-Viol1. Inleiding
2. Propositielogica
3. Predikaatlogica
4. Voorbij de predikaatlogica
5. Logica en programmeren
6. Logica en kunstmatige intelligentie
7. Tot besluit
€2,00