Hierarchies of Weak Monadic Formulas for Two Successors Arithmetic

Andrzej Wlodzimierz Mostowski. Hierarchies of Weak Monadic Formulas for Two Successors Arithmetic. Elektronische Informationsverarbeitung und Kybernetik, 23(10/11):509-515, 1987.

Abstract

Abstract is missing.