Forro' Logico: A blog to keep things.
Thursday, November 1, 2018
Time flies. Looking at the program of the logic conference
SBL - Brazilian Logic Society :: Events / WorkshopSBL2018
I asked my friend Samuel Gomes da Silva for his slides on
The Axiom of Choice and the Partition Principle from Dialectica Categories
and what was my surprise to see this slide...
As we say in Portuguese, 'quem tem amigos tem tudo'. Many thanks Samuel Gomes da Silva!!
Share to Twitter
Share to Facebook
Share to Pinterest
Post a Comment
Post Comments (Atom)