A Page in Number Theory. - Andrea Asperti; Cristian Armentano (J. Formaliz. Reason., 2008)