Mathesis Universalis, Computability and Proof
Publisher: Springer
Published: Oct 26, 2019
Format: hardcover
Number of pages: 374
ISBN-13: 9783030204464
Notes: Source title: Mathesis Universalis, Computability and Proof (Synthese Library)