Richiedi una copia del documento: A generalized small model property for languages wich forces the infinity

Annulla