Stephen Cole Kleene
US-amerikanischer Mathematiker und Logiker