Logica voor alfa's en informaticiJan van Eijk, Elias Thijsse1. Algemene inleiding
2. Kernbegrippen uit de naïeve verzamelingenleer
3. Eindige, oneindige en beslisbare verzamelingen
4. Logica, de leer van het correct redeneren
5. Propositielogica
6. Predikatenlogica
7. Uitbreidingen van de predikatenlogica
8. Informatica-toepassingen van de logica
€2,00