Symbolic logic. Part I. Elementary.