No. 42 (1997): RS-42 On the No-Counterexample Interpretation

Published: 1997-06-12