2 ms·
Awodey has a shortish introduction here: https://arxiv.org/abs/1701.02024 https://arxiv.org/abs/1701.02024
by black_knight 4y ago
Awodey has a shortish introduction here: https://arxiv.org/abs/1701.02024 https://arxiv.org/abs/1701.02024
loading thread…