Studies in logic by