Nr. 23 (1997): RS-23 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness

Publiceret: 1997-01-23

Artikler