Approach to classical logic from an LLI perspective

MaRDI QIDQ6968508zbMATH OpenFDO

Authors Fernando Soler-Toscano

Publication date 24 June 2025

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic (educational aspects) (97E30) Computational methods for problems pertaining to mathematical logic and foundations (03-08)

This page was built for publication: Approach to classical logic from an LLI perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6968508)