ISBN 3030204499 books & textbook
Mathesis Universalis, Computability and Proof (Synthese Library)
Centrone, Stefania Negri, Sara Sarikaya, Deniz Schuster, Peter M.
Springer /2020-11-06 Paperback / 384 Pages
isbn-10: 3030204499 / isbn-13: 9783030204495
