Safe Recursive Set Functions
Date first appeared online 31/12/2015
DOI 10.1017/jsl.2015.26
Authors Beckmann A.
Journal Name The Journal of Symbolic Logic
Volume 80

Documents