Sauras-Altuzarra, Lorenzo

Advisor:
Matthias Baaz

Dissertation:
From Logic to Discrete Geometry via Lattices