This book investigates the internal coherence and systematic structure of Bernard Bolzano's logical thought as presented in the first three parts of his Theory of Science. Ettore Casari, a scholar of logic and philosophy, utilizes the framework of predicate calculus with identity and the Hilbert epsilon calculus to formalize Bolzano's concepts. The work argues that Bolzano's logic functions as a rigorous, unified system rather than a collection of discursive observations, providing a formal reconstruction of his foundational ideas.

Experts recognize this text as a specialized contribution to the study of Bolzano's formal logic. Readers frequently note the high level of technical density required to follow the author's application of Hilbert's epsilon calculus to historical philosophical texts.