Presentación sobre la noción y demostración de la lógica de primer orden desde Boole a Henkin dada por Constantino Contreras
18 сен 2024