Text this: Foundations of logic and Mathematics / Rudolf Carnap