Giving an Account of Provability Within a Theory

Autor:	Peter Roeper
Rok vydání:	2003
Předmět:	Philosophy General Mathematics Calculus Algorithm Mathematics
Zdroj:	Philosophia Mathematica. 11:332-340
ISSN:	1744-6406 0031-8019
DOI:	10.1093/philmat/11.3.332
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::89f595210180d087f373b1fb44bae4c8 https://doi.org/10.1093/philmat/11.3.332 Zobrazit plný text záznamu Plný text ve formátu PDF