Wednesday, July 8, 2015

Why is this a Proof? Luiz Carlos Festschrift

The book celebrating Luiz Carlos Pereira's work in Proof Theory and Logic is out!

Great title, I thought.

Will post later about contents and my contribution. My copy hasn't arrived from the UK, yet.

(Jean-Baptiste Joinet and Luiz Carlos for lunch in Rio, last year. I need a better iphone.)

1 comment:

  1. Tive a oportunidade de aprender deep disagreements com o Prof. Luiz e foi uma nova janela de pensar a filosofia. Obrigado.