Studia logica : an international journal for symbolic logic (Springer Science + Business Media B.V, 1953)