Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic

Paolo Mancosu, Richard Zach. Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic. Bulletin of Symbolic Logic, 21(2):164-187, 2015. [doi]

Abstract

Abstract is missing.