Computation, Proof, Machine: Mathematics Enters a New Age
Book Details
Author(s)Gilles Dowek
PublisherCambridge University Press
ISBN / ASINB00WMRPU2W
ISBN-13978B00WMRPU26
MarketplaceUnited States 🇺🇸




