Logica, verzamelingen en relaties door J.S. Lodder