期刊书目 › BOOKS with Alphabet   M (Ma,Mb,Mc, Md,Me…) › Titlebook: Methods of Cut-Elimination; Alexander Leitsch,Matthias Baaz Book 2011 Springer Science+Business Media B.V. 2011 CERES.Goedel logic.cut-eli

GNAT 发表于 2025-3-28 16:42:16

http://reply.papertrans.cn/64/6324/632370/632370_41.png

Rankle 发表于 2025-3-28 21:36:40

http://reply.papertrans.cn/64/6324/632370/632370_42.png

Ostrich 发表于 2025-3-29 02:30:51

http://reply.papertrans.cn/64/6324/632370/632370_43.png

Epithelium 发表于 2025-3-29 06:35:50

http://reply.papertrans.cn/64/6324/632370/632370_44.png

查看完整版本: Titlebook: Methods of Cut-Elimination; Alexander Leitsch,Matthias Baaz Book 2011 Springer Science+Business Media B.V. 2011 CERES.Goedel logic.cut-eli