Mathesis Universalis, Computability and Proof (Synthese Library (412), Band 412)

Universalis

von: Stefania Centrone · Sara Negri · Deniz Sarikaya · Peter M. Schuster

Gebunden

ISBN-13: 978-3-030-20446-4

ISBN-10: 3-030-20446-4

Springer · 6. November 2019