Proof-theoretic semantics of natural deduction based on inversion

• Autores: Ernst Zimmermann
• Localización: Theoria : a Swedish journal of philosophy, ISSN 0040-5825, Vol. 87, Nº. 6, 2021, págs. 1651-1670
• Idioma: inglés
• Texto completo no disponible (Saber más ...)