The Cambridge Introduction to French Literature || French literature into the twenty-first century
- 作者Nelson, Brian
- 期第30期
- 文件大小168.91KB
- 发表时间2015
- DOI10.1017/CBO9781139047210.032
- 页码223-242
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