Computation, Proof, Machine (Mathematics Enters A New Age) || Church's Thesis
- 作者Dowek, Gilles; Guillot, Pierre; Roman, Marion
- 期第5期
- 文件大小109.56KB
- 发表时间2015
- DOI10.1017/CBO9781139026581.006
- 页码55-68
Computation, Proof, Machine (Mathematics Enters A New Age) || Proof CheckingDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || ConstructivityDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || BibliographyDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || InstrumentsDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Biographical LandmarksDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Predicate LogicDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Two Thousand Years of ComputationDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Church's ThesisDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || ConstructivityDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || BibliographyDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || InstrumentsDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Proof CheckingDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Biographical LandmarksDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Predicate LogicDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Church's ThesisDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Intuitionistic Type TheoryDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015