边缘带来墨水
发表于 2025-3-28 16:21:36
http://reply.papertrans.cn/32/3115/311439/311439_41.png
Cacophonous
发表于 2025-3-28 20:30:37
2214-9775 k of the eminent academic: Per Martin-Löf.Contains contributThis book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and clas