Joachim Lambek

Œuvres (2)

Couverture : Lectures on rings and modules

Lectures on rings and modules

2009
Couverture : Introduction to higher order catagorical logic

Introduction to higher order catagorical logic

1986