Equational treatment of first-order logic (1995)

by J Mycielski
Venue:Algebra Universalis