Abgekürzte Beweise im Logikkalkul. - Mac Lane, Saunders (Hubert, 1934)