American Mathematical Society Translations
American Mathematical Society Translations
Contains English translations of three outstanding dissertations in mathematical logic and complexity theory. This title intends to prove that all provability logics must belong to one of the four previously known classes.
Bezorgen: Zodra beschikbaar
Contains English translations of three outstanding dissertations in mathematical logic and complexity theory. This title intends to prove that all provability logics must belong to one of the four previously known classes. It describes a general framework for criteria of reversability in complexity theory.
