Carnap's work in the foundations of logic and mathematics in a historical perspective · Study