共 17 条
- [1] APPEL, 1977, SCI AM, V137, P108
- [2] BIRKHOFF GD, 1913, AM J MATH, V35, P114
- [4] HAKEN, 1977, J GRAPH THEORY, V1, P207
- [5] HAKEN, 1977, J GRAPH THEORY, V1, P193
- [6] HEYTING A, 1966, INTUITIONISM, pCH1
- [7] KAINEN P, 1977, 4 COLOR PROBLEM ASSA
- [8] KORNER S, 1960, PHILOS MATH, P9
- [9] KRIPKE S, 1972, SEMANTICS NATURAL LA, P261
- [10] Kuhn Thomas S., 1962, STRUCTURE SCI REVOLU, DOI DOI 10.7208/CHICAGO/9780226458144.001.0001