Combining first-order classical and intuitionistic logic
From MaRDI portal
Publication:6659896
DOI10.4204/EPTCS.358.3MaRDI QIDQ6659896
Author name not available (Why is that?)
Publication date: 9 January 2025
No records found.
This page was built for publication: Combining first-order classical and intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659896)
