Alonzo Church menciona esta notación en su libro clásico sobre lógica matemática como digna de observación en los sistemas notacionales incluso contrastados con la "Exposición notacional lógica y el trabajo Principia Mathematica" de Whitehead y Russell.