Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics

Bulletin of the Section of Logic, Tom 5, Numer 4 (1976) s. 138-142
Robert K. Meyer

 

do góry