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
As we say in Portuguese, 'quem tem amigos tem tudo'. Many thanks Samuel Gomes da Silva!!
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!!
No comments:
Post a Comment