Assertion: church's function | /r/HasProperty | canonical
Facets:
Source sentences:
text: Stephen Kleene (1952) adds to the list the functions "reckonable in the system S 1 " of Kurt Gödel 1936, and Emil Post's (1943, 1946) "canonical [also called normal] systems".