Forthcoming or in Preparation

Rethinking Logic. Logic in Relation to Mathematics, Evolution, and Method [Book]. Springer, Berlin 2013. Preface, Contents and Introduction. Springer Link.

Explanatory and Non-Explanatory Demonstrations. In Proceedings of the 14th Congress of Logic, Methodology and Philosophy of Science Nancy, July 19-26, 2011, ed. P.-E. Bour and P. Schroeder-Heister.London: College Publications. pdf
Turing’s Approaches to Computability, Mathematical Reasoning and Intelligence. pdf

Gli approcci di Turing alla computabilità e all'intelligenza. In Per il centenario di Turing, fondatore dell’informatica, ed. T. Orlandi, Accademia Nazionale dei Lincei, Roma 2013.

Does Logic Slowly Pass Away, or Has It a Future? Paper presented at a seminar in Pisa, Feb. 5, 2013.

Gödel's Theory, [Book]. In preparation.Contents and Preface.