DOI10.1002/malq.19850310104zbMath0567.03009OpenAlexW2083580403MaRDI QIDQ3682469
Ermanno Bencivenga
Publication date: 1985 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19850310104
zbMATH Keywords
deductive consequencesfree quantification theorysemantic consequences
Mathematics Subject Classification ID
Categoricity and completeness of theories (03C35)
