1,556 followers
@htowsner @KamerynJW there is a paper by Wilfrid Hodges describing rather frustratedly his experience as a model theorist at a proof theory conference, u might like. is a bit snarky. https://t.co/A0QfEfWT7z
227 followers
RT @Zahlangabeheft: Springer祭に乗り遅れたあなたに、オープンアクセスのこの本を。／Piecha and Schroeder-Heister (2015), Advances in Proof-Theoretic Semantics https://t…
2,047 followers
RT @Zahlangabeheft: Springer祭に乗り遅れたあなたに、オープンアクセスのこの本を。／Piecha and Schroeder-Heister (2015), Advances in Proof-Theoretic Semantics https://t…
21 followers
Advances in Proof-Theoretic Semantics https://t.co/FiFWtHB5lb