Next: 9.1 Up: Introducció a la deducció Previous: 8.6 Programes que facin Contents
Per acabar, aquí poso una col·lecció de bastants exemples (sense comentar). Els he fet jo, així que si trobes errades avisa'm.
Els 14 primers sí que estan explicats amb paraules a la secció 5.
