Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)