Primitive recursive function: Difference between revisions

Content deleted Content added
m Replaced LaTeX "\stackrel.-" by "\mathbin{\dot{-}}" for monus
No edit summary
 
Line 393:
| first = M. D.
| doi = 10.2307/2270177
| journal = [[The Journal of Symbolic Logic]]
| mr = 224460
| pages = 505–508
Line 468:
| first = Raphael M.
| doi = 10.1090/S0002-9904-1947-08911-4
| journal = [[Bulletin of the American Mathematical Society]]
| mr = 22536
| pages = 925–942