LAST 发表于 2025-3-28 15:42:39

http://reply.papertrans.cn/35/3439/343834/343834_41.png

moribund 发表于 2025-3-28 19:26:36

http://reply.papertrans.cn/35/3439/343834/343834_42.png
页: 1 2 3 4 [5]
查看完整版本: Titlebook: First Order Categorical Logic; Model-Theoretical Me Michael Makkai,Gonzalo E. Reyes Book 1977 Springer-Verlag Berlin Heidelberg 1977 Katego