A natural axiom system for boolean algebras with applications

2016

R. E. Hodel

in: Modern logic 1850-1950, East and West, Basel,