Anthem
发表于 2025-3-28 16:59:09
http://reply.papertrans.cn/23/2296/229527/229527_41.png
激怒某人
发表于 2025-3-28 20:35:49
Synthese Libraryhttp://image.papertrans.cn/c/image/229527.jpg
Panacea
发表于 2025-3-28 23:06:44
http://reply.papertrans.cn/23/2296/229527/229527_43.png
珍奇
发表于 2025-3-29 04:05:36
http://reply.papertrans.cn/23/2296/229527/229527_44.png
友好关系
发表于 2025-3-29 08:43:49
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
evasive
发表于 2025-3-29 11:51:37
http://reply.papertrans.cn/23/2296/229527/229527_46.png
该得
发表于 2025-3-29 17:30:41
The Proof Theory of Stig Kanger: A Personal Recollection,nd his semantics? He admired Alfred Tarski above all other logicians. By the side of ., Tarski-Mostowski-Robinson, ..,. and, of course, ..,. would have been with him on the Desert Island. The rare off-print copy of the German (1935) version of Tarski’s masterpiece from 1933, formerly in Stockholms H
残忍
发表于 2025-3-29 22:43:46
http://reply.papertrans.cn/23/2296/229527/229527_48.png
Fulminate
发表于 2025-3-30 00:40:41
http://reply.papertrans.cn/23/2296/229527/229527_49.png
极微小
发表于 2025-3-30 06:06:54
,A Note on Kanger’s Work on Efficient Proof Procedures,y logic” of 1963, and, in between these two, the mimeographed . written in 1959. I concur in Göran Sundholm’s remark in his paper of the present volume that Kanger’s main interest in this connection was not proofs themselves but provability and derivability and in particular the relation of these no