Nr. 23 (1994): RS-23 Finitisation in Bounded Arithmetic

Publiceret: 1994-08-03