Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie