On non-monotone inductive definability (1974)

by Y N Moschovakis
Venue:Fundamentae Mathematica