An extended predicative definition of the Mahlo universe
Date first appeared online 01/01/2010
DOI 10.1515/9783110324907.315
Authors Setzer A.
Journal Name Ways of Proof Theory
Volume

Documents