Computation, Proof, Machine : Mathematics Enters a New Age Dowek, Gilles 9780521118019 Innbundet 05.05.2015 Engelsk I salg