Return to Article Details
Finitisation in Bounded Arithmetic
Download
Download PDF