Title: A Formalistic Approach to Freshman Computer Course I
Subjects: Computer science