共 50 条
- [34] Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters Archive for Mathematical Logic, 2007, 46 : 385 - 424
- [39] Hahn's Proof of the Hahn Decomposition Theorem, and Related Matters AMERICAN MATHEMATICAL MONTHLY, 2019, 126 (03): : 264 - 268
- [40] Public confidence and public services: it matters what you measure POLICY AND POLITICS, 2012, 40 (01): : 123 - 143