Leonardopacheco@mathstodon.xyz
Leonardopacheco@mathstodon.xyz
leonardopacheco@mathstodon.xyz
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.
👤 Visit Leonardopachecos profile 👤 Leonardopachecos Profil besuchen