Francesca Guffanti

1. The doctrinal Gödel's completeness theorem and the type space functor
   2026/07/23 by Marco Abbadini, Francesca Guffanti
   #math.LO #math.CT