Nr. 49 (2000): RS-49 Higher Order Reverse Mathematics

Publiceret: 2000-06-19