Paolo Mancosu's and my paper on Heinrich Behmann's 1921 lecture on the decision problem is out in the new issue of the Bulletin of Symbolic Logic. (Hey you are a member of the Association for Symbolic Logic, right? Comes with subscriptions to the Bulletin, the Review, and the Journal of Symbolic Logic!) This is the … Continue reading Behmann’s 1921 Lecture on the Decision Problem
![](https://i0.wp.com/richardzach.org/wp-content/uploads/2015/06/behmann2.png?fit=772%2C1184&ssl=1)