Steven R. Givant

Logic as Algebra

1998