J. M. McKean

Weierstrass's final theorem of arithmetic is not final

Florencio G. Asenjo, J. M. McKean, 1972, Notre Dame J. Formal Log..