Additional Metadata
Persistent URL dx.doi.org/10.1017/S1471068417000011
Journal Theory and Practice of Logic Programming
Citation
Apt, K.R. (2017, March 17). Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9, 152 pages. Theory and Practice of Logic Programming. doi:10.1017/S1471068417000011