Cover Image
Read Now

1
by Acerbi, Fabio
Published 2021
Springer International Publishing
Table of Contents: “... of Mathematical Generality -- 4. The Deductive Machine -- 5. The Logical Syntax -- Appendices -- Bibliography...”