Título: Natural Deduction for 'Generally'Autor: Leonardo Bruno VanaAno: 2007DOI: 10.1093/jigpal/jzm049Revista: Logic Journal of the IGPLISSN: 13670751Tags: Logics of GenerallyNatural DeductionNormalizationHome: [doi:http://dx.doi.org/10.1093/jigpal/jzm049]Idioma: Português
