Proofs and Computations (Perspectives in Logic)
by Helmut Schwichtenberg, Stanley S. Wainer
ISBN 13: 9780521517690
Format: Hardcover (480 pages) Publisher: Cambridge University Press Published: 15 Dec 2011
Save for later
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
by Klaus Mainzer,Peter Schuster,Helmut Schwichtenberg
ISBN 13: 9789813270930
Format: Hardcover (300 pages) Publisher: World Scientific Publishing Company Published: 30 Jul 2018