Publications
“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. 

“Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” . Foundations of the Formal Sciences: 61–90.
. 2011. 