Giacomo Barlucchi
About Giacomo Barlucchi
Second year PhD student in logic. Currently working on modal mu-calculus and ordinals. Interested in Proof Theory, History and Philosophy of Logic.
Second year PhD student in logic. Currently working on modal mu-calculus and ordinals. Interested in Proof Theory, History and Philosophy of Logic.