Computation, Proof, Machine (Mathematics Enters A New Age) || Constructivity
- 作者Dowek, Gilles; Guillot, Pierre; Roman, Marion
- 期第7期
- 文件大小111.33KB
- 发表时间2015
- DOI10.1017/CBO9781139026581.008
- 页码73-81
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