Lambek, J.; Scott, P. J.