· Pruebas de validez y cálculo en la demostración cuantificacional. Su generalización y...
4
· Pruebas de validez y cálculo en la demostración cuantificacional. Su generalización y empleo. Otros métodos de demostración formal. 5.1. Construcción de razonamientos inductivos