DMCA

An algebraic presentation of predicate logic (extended abstract)

by Sam Staton