@article{AMLG_1982__22_137996,
     author = {Gerhard J\"ager},
     title = {Zur {Beweistheorie} der {Kripke-Platek-Mengenlehre} \"uber den nat\"urlichen {Zahlen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {121--140},
     publisher = {mathdoc},
     volume = {22},
     year = {1982},
     zbl = {0503.03014},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137996/}
}