Kritik des Gothaer Programms / Critique of the Gotha programme / Critique of the Gotha programme : A guide for programmers / Proofs as programs /