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.)

No comments:

Post a Comment