Agust Rayo

• Construction of Logical Space