t_wの輪郭

RSS

高階論理

2025/3/3 1:39:00

『トポスと高階論理 - topos-and-hol.pdf』

高階論理トポス

『トポスと高階論理 - topos-and-hol.pdf』

2025/3/3 1:39:00

https://uemurax.github.io/pdfs/topos-and-hol.pdf