一个Foxpro2.5　For　Windows下的通用综合查询系统

The Global Properties of Valid Formulas in Modal Logic K

本文提出了一个通用的Ｆｏｘｐｒｏ２．５ＦｏｒＷｉｎｄｏｗｓ下的综合查询系统，美观的界面设计、方的菜单及按钮操作、灵活的查询条件及输出栏目的自由组合，构成了本系统强大的功能。