Alonzo Church: Bueno, no fue exactamente una ...

Bueno, no fue exactamente una disertación en la lógica, por lo menos no el tipo de lógica que te encuentras en Whitehead y Russell Principia Mathematica por ejemplo. Se parecía más a las matemáticas; se utilizó lenguaje formalizado.

Alonzo Church