Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic (1990)

by Samuel R. Buss
Citations:27 - 3 self

Document Versions

Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic –Samuel R. Buss — 1990
Axiomatizations and conservation results for fragments of bounded arithmetic –Samuel R. Buss — 1990 — Carnegie Mellon University