header
cover

2 - Introduction to higher order categorical logic
Lambek, Joachim (1922-2014)   /   Scott P. J.

Cote : [12 LAM 86]

cover

3 - Lectures on rings and modules
Lambek, Joachim (1922-2014)   /   Connell, Ian G. (Collab.)

Cote : [16 LAM 66]

cover

4 - Toposes algebraic geometry and logic : Dalhousie University, Halifax, January 16 - 19, 1971
Lawvere, Francis William (1937-....) (Ed.)   /   Bucur, Ion   /   Giraud, J.   /   Goodman, N.   /   Myhill, J. (1923-1987)   /   Illusie, Luc (1940-....)   /   Lambek, Joachim (1922-2014)

Cote : [18.5 LAW 72]

cover

5 - Torsion theories, additive semantics, and rings of quotients
Lambek, Joachim (1922-2014)   /   Storrer, Hans Heiner (Collab.)

Cote : [16 LAM 71]