Adding a constant and an axiom to a doctrine
From MaRDI portal
Publication:6642288
DOI10.1002/malq.202300053MaRDI QIDQ6642288
Publication date: 22 November 2024
Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)
This page was built for publication: Adding a constant and an axiom to a doctrine
