 Due to the affinity of many ideas of Bolzano’s logic with ideas of modern logic, attempts to reconstruct Bolzano’s logic by means of techniques of modern logic started very early, e.g., with Dubislav 1931 and Scholz 1937. The first overall reconstruction of Bolzano’s logic from the perspective of modern logic was given by Berg 1962, and Berg went into it further in his illuminating introductions to WL in BGA I, 11–14. A new overall survey of Bolzano’s logic was presented in Sebestik 1992, and the most recent one is Casari 2016.