Computation, Proof, Machine

Machine

by Gilles Dowek

Paperback

ISBN: 978-0-521-13377-7

ISBN-10: 0-521-13377-7

Cambridge University Press · 2015