@article{BSL7_2_Raggio,
author = {Andr{\'e}s R. RAGGIO},
title = {A Proof-Theoretic Analysis of da Costa's $C_\omega^∗$},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {2},
year = {1978},
pages = {96}
}