Bolzano's Logical System

A unique new book exploring Bernard Bolzano's Wissenschaftslehre (Theory of Science) and introducing a formal system to examine the logic presented in Bolzano's work.