Independence-Friendly Logic
                                 
                        Fausto Barbero
                        
  
                - Autore della tesi: Independence-Friendly Logic ≫