Computation, Proof, Machine
by Gilles Dowek
2020-12-29 09:16:01