R. E. Hodel
in English
XA natural axiom system for boolean algebras with applications
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser
in English
XA natural axiom system for boolean algebras with applications
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser