Browsing Vol. 02 Núm. 1 (1990) by Title
Now showing items 7-7 of 7
-
Sobre los meta teoremas de deducción y el concepto de implicación lógica
(Pontificia Universidad Católica del Perú. Fondo EditorialPE, 1990)En este artículo se dan condiciones necesarias y suficientes para una forma generalizada del metateorema de deducción y se lo aplica a varios sistemas lógicos usándolo como un criterio para determinar la existencia de una ...