The strength of admissibility without foundation, The (1984)

by Gerhard Jäger
Venue:Journal of Symbolic Logic