t_wの輪郭

代数直観主義論理
Awodey『圏論』

Awodey『圏論』

2024/4/22 10:37:00

基礎から解説してくれる本らしい

ロジック寄りらしい。