Publications
“Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” . Foundations of the Formal Sciences: 61–90.
. 2011. ![application/pdf](/modules/file/icons/application-pdf.png)
“On The Curious Historical Coincidence Of Algebra And Double-Entry Bookkeeping” . Foundations of the formal sciences VII : bringing together philosophy and sociology of science 32: 109–130. http://www.collegepublications.co.uk/logic/?00021.
. 2011. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)