The solution of a major unsolved problem some years later led to a new treatment, The Logic of Provability, published in 1993.
Lösningen på ett stort problem några år senare resulterade i en ny avhandling vid namn The Logic of Provability (1993).