On logic by A.C. Nieuwendijk