哲学的視点からの直観主義論理入門 [前編]
https://mathlog.info/articles/2890
last-modified: 2021-12-26 05:02:13