1 - Completions of categories : seminar lectures given 1966 in Eidgenössische Technische Hochschule, Forschungsinstitut für Mathematik, Zürich |
2 - Introduction to higher order categorical logic |
3 - Lectures on rings and modules |
5 - Torsion theories, additive semantics, and rings of quotients |