Foundation of Logic and Mathematics / Rudolf Carnap. - Chicago : University of Chicago press, 1970.