First steps in logic - Meyer, Renier Stefanus