Product Description
ISBN: 9789813270930
TITLE: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
AUTHOR: Klaus Mainzer
PUBLISHER: World Scientific Publishing Co Pte Ltd
PUBLISHER DATE: 30 Jul 2018
ISBN: 9789813270930
TITLE: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
AUTHOR: Klaus Mainzer
PUBLISHER: World Scientific Publishing Co Pte Ltd
PUBLISHER DATE: 30 Jul 2018
Popular Trending Products
ISBN: 9789813225480TITLE: Digital And The Real World, The: Computational Foundations Of Mathematics,…
ISBN: 9789811236471TITLE: Proof And Computation Ii: From Proof Theory And Univalent Mathematics To P…
ISBN: 9789811268533TITLE: Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligenc…