por Anglin, W. S [autor] | Lambek, Joachim [autor].
por Lambek, Joachim [autor] | Scott, P. J [autor] | University of Cambridge.