Boolesche Funktionen und Postsche Klassen - Jablonski, S. W. (Logik und Grundlagen der Mathematik, 1970)