Report - Introdução à Teoria da Prova para Métodos Formaishermann/Proof-Theory-FM.pdfNão existe prova de 0=1 -Em uma prova simples todas as fórmulas são sub-fórmulas ou da conclusão

Please pass captcha verification before submit form