Stephen Cole Kleene – Drugi jeziki