leonardopacheco - About
Logic at Institute of Science Tokyo.
Mainly interested in games, modal logic and reverse mathematics.
By games I mean both mathematical ones and computer ones.
To add contact info data to your profile here, you must add a link to a hcard to your webfinger. One example how you can do this is to join Webfan and join Fediverse City.