Forcing on Bounded Arithmetic II

Sorry, there's nothing here.

Cite this paper

@article{Takeuti1998ForcingOB, title={Forcing on Bounded Arithmetic II}, author={Gaisi Takeuti and Masahiro Yasumoto}, journal={J. Symb. Log.}, year={1998}, volume={63}, pages={860-868} }