J.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting & W.P.M. Meyer-Viol

		Logica voor informatici, tweede editie			22.95