The Fraenkel-Carnap Question for Limited Higher-OrderLanguages

Bulletin of the Section of Logic, Tom 39, Numer 1-2 (2010) s. 1-9
George Weaver, Benjamin R. George

 

do góry