An Isomorphism Between a Fragment of Sequent Calculus and an Extension of Natural Deduction
AuthID
P-00K-4G3
P-00K-4G3
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service