Studies in Proof Theory – Lecture Notes

Bounded Arithmetic

This dissertation uses methods from mathematical logic to examine issues continua