Finitary axiomatizations of the true relational equations

Publishing house / Banach Center Publications / All volumes

Roger Maddux Banach Center Publications 28 (1993), 201-208 DOI: 10.4064/-28-1-201-208