O artigo de Sundholm apresenta o método axiomático, a deduçãonatural e a lógica das sequências.
CITATION STYLE
Sundholm, G. (2001). Systems of Deduction. In Handbook of Philosophical Logic (pp. 1–52). Springer Netherlands. https://doi.org/10.1007/978-94-017-0452-6_1
Mendeley helps you to discover research relevant for your work.