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