Introduction: Mathesis Universalis, Proof and Computation
From MaRDI portal
Publication:3305623
DOI10.1007/978-3-030-20447-1_1zbMath1469.03003OpenAlexW2981562496MaRDI QIDQ3305623
Publication date: 10 August 2020
Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_1
Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) History of mathematics in the 17th century (01A45) Proof theory in general (including proof-theoretic semantics) (03F03)
This page was built for publication: Introduction: Mathesis Universalis, Proof and Computation
