A Problem with the Dependence of Informal Proofs on Formal Proofs
- 期刊名称Philosophia Mathematica
- 作者Tanswell, F.
- 印刷ISSN0031-8019
- 电子ISSN1744-6406
- 文件大小246.06KB
- 发表时间2015-03-23
- DOI10.1093/philmat/nkv008
同标题推荐
Medical Diary of the Week.TUNNICLIFFE, G · The Lancet · 1872
Diary of the WeekFechner, Paul U.; Singh, Daljit; Wulff, Kerstin · The Lancet · 1973
Diary of the WeekBarnard, CyrilC. · The Lancet · 1971
Diary of the WeekLeclainche, M.E.; Vallee, M.H. · The Lancet · 1982
Medical Diary of the Week.Araki, Haruo; Nakamura, Motoomi · The Lancet · 1870
Diary of the WeekFagundes, Julie; Chen, David D.; Laguna, Patricia · The Lancet · 1965
Diary of the WeekTowne, Jonathan B. · The Lancet · 1947
MEDICAL DIARY OF THE WEEK.Patel, Amit N.; Buenaventura, Percival O. · The Lancet · 1861