Logicas finitamente deductivas: restricciones de cardinalidad en la propiedad de la deduccion.

Tesis doctoral de Garcia Lapresta José Luis Se han estudiado logicas abstractas que cumplen el teorema de deduccion con restricciones […]

, , , , ,