共 50 条
- [23] The Godel Completeness Theorem for Uncountable Languages FORMALIZED MATHEMATICS, 2012, 20 (03): : 199 - 203
- [28] NESTED HISTORICAL RELATIONS PROCEEDINGS OF THE 1989 ACM SIGMOD INTERNATIONAL CONFERENCE ON THE MANAGEMENT OF DATA, 1989, 18 : 284 - 293