Introduction to logic and to the methodology of the deductive sciences /
Tarski, Alfred.
Tarski, Jan.
New York : Oxford University Press,
1994.
Includes bibliographical references and index.
Mathematics
Arithmetic