Introduction to Category Theory and Cate
โ Thomas Streicher
๐ Library
๐
2017
๐ English
โฆ LIBER โฆ
๐
Notes on Categorical Logic
โ Scribed by Andrew M. Pitts
- Year
- 1989
- Tongue
- English
- Leaves
- 78
- Series
- Lecture notes
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Categorical Logic [Lecture notes]
โ Steve Awodey
๐ Library
๐
2016
๐ English
Introduction to Category Theory and Cate
โ Thomas Streicher
๐ Library
๐
2018
๐ English
Categorical Models of Constructive Logic
โ Thomas Streicher
๐ Library
๐
2013
๐ English
Notes on Categories [Lecture notes]
โ Rafael Villarroel Flores
๐ Library
๐
2004
๐ English
Notes on Categories [Lecture notes]
โ Rafael Villarroel Flores
๐ Library
๐
2004
๐ English