Algebra and Logic
Book Chapter
Kahle,R;Setzer,A
– Ways of Proof Theory
2010
10.1515/9783110324907.315
An Extended Predicative Definition of the Mahlo Universe
NOVA Math > NOVA Math > NOVA Math Publications > An Extended Predicative Definition of the Mahlo Universe