1. Asselmeyer – Maluga, T., Brans, C. H. (2007). Exotic smoothness and physics. Singapore: World Scientific.
2. Carnielli, W. A., Doria, F. A. (2007).“Is computer science logic – dependent?” to appear in Festschrift in Honor of Prof. Shahid Rahman.
3. da Costa, N. C. A. (2007). “On the Gödel incompleteness theorems,” Gödel/Einstein Workshop, CBPF – Rio.
4. da Costa, N. C. A., Doria, F. A. (1996). Structures, suppes predicates, and boolean – valued models in physics. In: Bystrov, P., Sadovsky, V., (eds.), Philosophical Logic and Logical Philosophy — Essays in Honor of Vladimir A. Smirnov. Synthèse Library: Kluwer.
5. da Costa, N. C. A., Doria, F. A. (2005). Computing the future. In: Velupillai, K. V., (ed.), Computability, complexity and constructivity in economic analysis. Oxford: Blackwell.