Mathematical logic (category CS1 German-language sources (de)) paper. Numerous results in recursion theory were obtained in the 1940s by Stephen Cole Kleene and Emil Leon Post. Kleene introduced the concepts of relative... 68 KB (8,330 words) - 20:09, 22 March 2024 |