en 1957 de la Universidad de California, Berkeley bajo la dirección de Alfred Tarski.