30 M. Rathjen: Fragments of Kripke-Platek set theory with infinity (1989)

by W
Venue:Pohlers: Proof theory. Lecture Notes in Mathematics 1407