The Gentzen style axiomatization of \(\omega^+\)-valued logic
From MaRDI portal
Publication:1239310
DOI10.1007/BF02123408zbMath0361.02024MaRDI QIDQ1239310
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Cites Work
This page was built for publication: The Gentzen style axiomatization of \(\omega^+\)-valued logic
