Tarski, A. Introduction to logic and to the methodology of deductive science - Oxford University Press 1965 ISBN: 9781614275404