Open menu
Gemma Robles Vázquez
Negaciones subintuicionistas para lógicas con la conversa de la propiedad Ackermann
Negaciones subintuicionistas para lógicas con la conversa de la propiedad Ackermann