https://123dok.net/document/zgwj1mj2-preface-annals-of-pure-and-applied-logic.html