t_wの輪郭
RSS
高階論理
トポス
『トポスと高階論理 - topos-and-hol.pdf』
2025/3/3 1:39:00
https://uemurax.github.io/pdfs/topos-and-hol.pdf
あれ