Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy by Helmut Schwichtenberg.
Published by World Scientific Publishing Co Pte Ltd, (2018), Hardback, 300 pages.
Topics: Logic programming, Logic, symbolic and mathematical.