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

Published: 2000-06-19

Articles