Peirce algebras (1994)

by C Brink, K Britz, R A Schmidt
Venue:Formal Aspects of Computing