First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (1998)

Cached

Download Links

by Gerhard Jäger
Citations:5 - 2 self