摘要：构造和非构造证明的一个非常简单的定理的例子：方程c^2 x^2-(c^2 + c)x + c = 0有一个解。
作者：Jaime Gaspar
论文ID：1211.0442
分类：History and Overview
分类简称：math.HO
提交时间：2012-12-19
PDF 下载： 英文版 中文版pdf翻译中