Desde Estados Unidos, donde viviría y enseñaría hasta su muerte, influyó en toda la investigación lógica posterior a la Segunda Guerra Mundial.