Equational treatment of first-order logic
J. MycielskiVolume:
33
Year:
1995
Language:
english
Pages:
14
Journal:
Algebra Universalis
DOI:
10.1007/bf01190764
File:
PDF, 578 KB
english, 1995