The Work A Theory of Positive Integers in Formal Logic The details The Author Stephen Cole Kleene The offers
