Browse

Search Results

Now showing 1 - 1 of 1
  • Item
    Sobre los meta teoremas de deducción y el concepto de implicación lógica
    (Pontificia Universidad Católica del Perú. Fondo Editorial, 1990) Cifuentes Vásquez, José Carlos
    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 implicación interna a tales sistemas.