Książka zawiera 19 prac poświęconych rozmaitym zagadnieniom historii logiki i filozofii matematyki. Rozważa się w nich m.in.: rozwój symboliki logicznej, proces przechodzenia od logiki tradycyjnej do logiki współczesnej, kwestie filozoficzne związane z problemem rozstrzygalności i z tezą Churcha, twierdzenia limitacyjne, koncepcję prawdy w matematyce, problem stosowalności matematyki do opisu świata, system[...]