An algebraization of first order logic with terms Colloq (1991)

by J Cirulis
Venue:Math. Soc. J. Bolyai