Estadísticas de Acerca de la regla de necesariedad en el cálculo proposicional modal de Lewis y Langford, antes de la publicación de "Una interpretación del cálculo conectivo intuicionista” de Gödel.