共 50 条
- [35] CRITERION OF FUNCTIONAL COMPLETENESS IN THE CLASSICAL PREDICATE LOGIC OF THE 1ST ORDER DOKLADY AKADEMII NAUK SSSR, 1979, 249 (03): : 540 - 544
- [36] Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem Studia Logica, 2015, 103 : 623 - 638