Truth through Proof: A Formalist Foundation for Mathematics
Year: 2014
Type: article
Source: The Philosophical Quarterly
DOI: 10.1093/pq/pqu071
Author: Mary Leng
Institution: University of York
Language: English
Subfield: Theoretical Computer Science
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2322545164