共 50 条
- [4] FOUNDATIONS WITHOUT FOUNDATIONALISM - A CASE FOR 2ND-ORDER LOGIC - SHAPIRO,S PHILOSOPHICAL QUARTERLY, 1994, 44 (174): : 127 - 129
- [7] Team Logic and Second-Order Logic LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 230 - 241
- [9] Semantic tableaux and metalogic: The case of second-order logic CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1999, 31 (93): : 21 - 47