共 42 条
- [1] [Anonymous], 2000, PHILOSOPHIA MATH 3, DOI DOI 10.1093/PHILMAT/8.2.100
- [2] [Anonymous], 2001, REASONS PROPER STUDY
- [3] [Anonymous], 1967, FREGE GODEL
- [4] [Anonymous], 1986, COLLECTED WORKS
- [5] Awodey S., 2004, PHILOS MATH, V12, P54, DOI DOI 10.1093/PHILMAT/12.1.54
- [6] Benacerraf Paul., 1983, PHILOS MATH, Vsecond
- [7] Bishop Errett., 1967, Foundations of Constructive Analysis
- [8] BOOLOS G, 1985, MIND, V94, P331
- [9] Boolos G., 1997, HECK, P245
- [10] Boolos George., 1998, LOGIC LOGIC LOGIC