Proof and Computation
Subtitle: Digitization in Mathematics, Computer Science and Philosophy
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2018
Language: eng
Number of pages: 291
ISBN-13: 9789813270930
Subjects: Mathematics, philosophy; Mathematics, data processing