Studia Logica: An International Journal for Symbolic Logic, Vol. 81, No. 1 (Oct., 2005), pp. 43-59 (17 pages) The Lambek calculus introduced in Lambek [6] is a strengthening of the type reduction ...

The Mathematical Gazette is the original journal of the Mathematical Association and it is now over a century old. Its readership is a mixture of school teachers, college and university lecturers, ...