Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
World Scientific Company (30 July 2018) | English | 9789813270930
World Scientific Company (30 July 2018) | English | 9789813270930
World Scientific (16 Jun. 2021) | English | 9789811234330
Vinaitheerthan Renganathan (4 Jun. 2021) | English | 9789354737695
Chapman and Hall/CRC; 1st edition (28 Mar. 2022) | English | 9781032108513
Palgrave Macmillan; 1st ed. 2022 edition (2 Feb. 2022) | English | 9783030886141
World Scientific (27 July 2021) | English | 9789811236501
WSPC (August 31, 2021) | English | 9789811235955
Independently published (3 Feb. 2022) | English | 9798412259932
Mercury Learning and Information | 9781683927334
367 PAGES 52,808 WORDS 60 DAYS GUARANTEE ENGLISH PDF EPUB MOBI https://leanpub.com/trunk-based-development Trunk-based d...