共 50 条
- [21] Foundational, First-Order, and Second-Order Classification Theory KNOWLEDGE ORGANIZATION, 2015, 42 (04): : 244 - 249
- [23] Axiomatizations of arithmetic and the first-order/second-order divide Synthese, 2019, 196 : 2583 - 2597
- [28] The complexity of first-order and monadic second-order logic revisited 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 215 - 224
- [29] Where First-Order and Monadic Second-Order Logic Coincide 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 265 - 274