The first book in English to offer a systematic survey of Bolzano's philosophical logic and theory of knowledge, it offers a reconstruction of Bolzano's views on a series of key issues: the analysis of meaning, generality, analyticity, logical consequence, mathematical demonstration and knowledge by virtue of meaning.