Highly Influenced

2 Excerpts

- Published 1998 in J. Symb. Log.

Sorry, there's nothing here.

@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}
}