Rationalizing relevant primitives, of course!

Bulletin of the Section of Logic, Tom 24, Numer 2 (1995) s. 76-79
Robert K. Meyer

 

do góry