Shadows of the Truth: Metamathematics of Elementary Mathematics

Metamathematics of elementary mathematics. This book can be viewed as a sequel to Mathematics under the Microscope, but with focus shifted on mathematics as it was experienced by children (well, by children who became mathematicians).