Negaciones subintuicionistas para lógicas con la conversa de la propiedad Ackermann | lit.salon