共 50 条
- [42] A 1ST STEP TOWARDS AUTOEPISTEMIC LOGIC PROGRAMMING [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (05): : 419 - 441
- [43] A NOTE ON THE INTERPOLATION THEOREM IN 1ST ORDER LOGIC [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 215 - 218
- [46] A NOTE ON THE COMPACTNESS THEOREM IN 1ST ORDER LOGIC [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (02): : 111 - 113
- [47] BETWEEN DESCARTES AND GASSENDI - THE 1ST EDITION OF THE 'PENSEES' BY PASCAL - FRENCH - MCKENNA,A [J]. REVUE D HISTOIRE LITTERAIRE DE LA FRANCE, 1994, 94 (06): : 1073 - 1074
- [48] UNIVERSAL 1ST ORDER DEFINABILITY IN MODAL LOGIC [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 327 - 330