User:Pietro Galliani
I am a mathematical logic PhD student at the Universiteit van Amsterdam.
Done
To Help With
To Do
- Levy Hierarchy
- Game Theoretic Semantics (not sure if to split from Game Semantics or not - the concepts are rather different...)
 | This user is a participant in the Logic task force. |