R+ is contained in T+

Bulletin of the Section of Logic, Tom 9, Numer 1 (1980) s. 30-32
Robert K. Meyer, Steve Giambrone

 

do góry