Carnap’s Work in the Foundations of Logic and Mathematics in a Historical Perspective · Study