Text this: First notions of logic (preparatory to the study of geometry)