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