共 50 条
- [27] Foundational, First-Order, and Second-Order Classification Theory KNOWLEDGE ORGANIZATION, 2015, 42 (04): : 244 - 249
- [29] Axiomatizations of arithmetic and the first-order/second-order divide Synthese, 2019, 196 : 2583 - 2597
- [30] Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2024, 2024, 14659 : 31 - 61