Inzien en bewijzen door A. Visser & J. van Eijck