Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9, 152 pages

2017-03-17

Additional Metadata
Persistent URL	doi.org/10.1017/S1471068417000011
Journal	Theory and Practice of Logic Programming
Organisation	CWI management
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K. (2017). Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9, 152 pages. In Theory and Practice of Logic Programming (Vol. 17, Number 3, pp. 353–358).https://doi.org/10.1017/S1471068417000011

Publication