Open Access
VOL. 6 | 1996 Forcing on bounded arithmetic
Gaisi Takeuti, Masahiro Yasumoto

Editor(s) Petr Hájek

Lecture Notes Logic, 1996: 120-138 (1996)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Back to Top