Adding with Ants is from the Animaths series; this book targets addition specifically, including counting on and doubling and is aimed at EYFS and KS1...
