Home Mathematics 1. Introduction: Mechanization and Formalization
Chapter
Licensed
Unlicensed Requires Authentication

1. Introduction: Mechanization and Formalization

  • Mortimer Taube
View more publications by Columbia University Press
© 2019 Columbia University Press
Downloaded on 25.9.2025 from https://www.degruyterbrill.com/document/doi/10.7312/taub90714-003/html
Scroll to top button