HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
Research article (Bulletin of Symbolic Logic, 2015) · cited 29× · AI/ML