imagem ilustrativa
Iterated inductive definitions and subsystems of analysis
W. Buchholz
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1981
- ISBN: 9783540111702
- Iterated inductive definitions and subsystems of analysis

Descrição: Iterated Inductive Definitions and Subsystems of Analysis