M. Roman

Two Thousand Years of Computation

Gilles Dowek, Pierre Guillot, Marion Roman, 2015 .

Computation, Proof, Machine: Bibliography

Gilles Dowek, Pierre Guillot, Marion Roman, 2015 .

Computation, Proof, Machine: Biographical Landmarks

Gilles Dowek, Pierre Guillot, Marion Roman, 2015 .

Computation, Proof, Machine: Predicate Logic

Gilles Dowek, Pierre Guillot, Marion Roman, 2015 .

Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek, Pierre Guillot, Marion Roman, 2015 .

Computation, Proof, Machine: The Prehistory of Mathematics and the Greek Resolution

Gilles Dowek, Pierre Guillot, Marion Roman, 2015 .