A simple, purely algebraic proof of the completeness of some first order logics
- 1 December 1975
- journal article
- Published by Springer Nature in Algebra universalis
- Vol. 5 (1) , 8-15
- https://doi.org/10.1007/bf02485226
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Internal Semantics and Algebraic LogicPublished by Elsevier ,1973