discord
发表于 2025-3-26 23:50:00
category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.978-1-4757-7319-4978-0-306-46975-6
多嘴
发表于 2025-3-27 02:40:15
9楼
Debrief
发表于 2025-3-27 08:43:50
10楼
acrimony
发表于 2025-3-27 11:31:18
10楼
精确
发表于 2025-3-27 17:42:06
10楼
Anterior
发表于 2025-3-27 18:13:25
10楼