Introduction to symbolic logic and ist applications x - Carnap, Rudolf. x; x (N.Y. Dover Pub., 1958)
x
Keywords: Mathametics -- Mathametics