4 ms·Whoops -- Lambek and Scott is 1986. My apologiesby jtc1983 9y agoWhoops -- Lambek and Scott is 1986. My apologies