First-order logic and first-order functions
From MaRDI portal
Publication:497872
DOI10.1007/s11787-015-0126-8zbMath1373.03010OpenAlexW218854924MaRDI QIDQ497872
Publication date: 25 September 2015
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-015-0126-8
Related Items
Logic prizes \textit{et cætera}, New semantics for urn logics: taming the enduring scandal of deduction
Cites Work