TY  - RPRT
TI  - Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
AU  - Paolo Mancosu
AU  - Richard Zach
PY  - 2015
DO  - 10.1017/bsl.2015.10
UR  - https://arxiv.org/abs/1504.04798
ID  - 1504.04798
ER  -