A Metatheorem for Construction by Finitely Many Workers (1990)

by J Knight
Venue:Journal of Symbolic Logic