Forro' Logico: A blog to keep things.
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.)
Share to Twitter
Share to Facebook
Share to Pinterest
Post a Comment
Post Comments (Atom)