Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic

Paolo Mancosu and Richard Zach. "Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic," Bulletin of Symbolic Logic 21 (2015), 164–187 Heinrich Behmann (1891–1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved—independently of Löwenheim and Skolem’s earlier … Continue reading Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic