Introdución á lóxica matemática | Publicación