Metalogical frameworks II: Using reflected decision procedures. Unpublished Manuscript (0)

by William Aitken, Robert Constable, Judith Underwood