A Galois connection between classical and intuitionistic logics. I: Syntax

From MaRDI portal
Publication:6247161

arXiv1312.2575MaRDI QIDQ6247161

Sergey A. Melikhov

Publication date: 9 December 2013








This page was built for publication: A Galois connection between classical and intuitionistic logics. I: Syntax

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6247161&oldid=35782221"
Powered by MediaWiki