INTRODUCTION TO LOGIC AND TO THE METHODOLOGY OF DEDUCTIVE (NEW YORK OXFORD UNIVERSITY PRESS, 1959)