共 50 条
- [5] CRITERION OF FUNCTIONAL COMPLETENESS IN THE CLASSICAL PREDICATE LOGIC OF THE 1ST ORDER DOKLADY AKADEMII NAUK SSSR, 1979, 249 (03): : 540 - 544
- [6] SEQUENTIAL CALCULUS FOR A 1ST ORDER INFINITARY TEMPORAL LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (05): : 423 - 432