TY  - RPRT
TI  - PREDICATES, TERMS, OPERATIONS, AND EQUALITY IN POLYADIC BOOLEAN ALGEBRAS.
AU  - P R Halmos
PY  - 1956
DO  - 10.1073/pnas.42.3.130
UR  - https://pubmed.ncbi.nlm.nih.gov/16589835/
ID  - 16589835
ER  -