Pātuhitia tēnei: Logic and discrete mathematics : a computer science perspective / Winfried Karl Grassmann, Jean-Paul Tremblay.