Computation, Proof, Machine
by Gilles Dowek
2020-12-29 13:46:01