The taming of the Reverse Mathematics zoo

From MaRDI portal
Publication:6257029