This is a marvelous book coauthored by one of the SICP coauthors. In contrast to SICP its focus is on math more than programming, and it aims at exploring math

This is a marvelous book coauthored by one of the SICP coauthors. In contrast to SICP its focus is on math more than programming, and it aims at exploring math more than covering a curriculum for a course. In Logo's heyday there were several other fine Logo books -- like Brian Harvey's Computer Science Logo Style, and one whose title I'm forgetting, by several authors, billing itself as for a particular Logo implementation but with lots of rather interesting projects like a basic proof assistant.