Boolesche Funktionen und Postsche Klassen - Kudrjavcev, Valerij Borisovič (1970)