] Filters: Year is 9999 [Clear All Filters]
.
Submitted. About the strength of operational regularity.
.
Submitted. A sequent calculus demonstration of Herbrand's Theorem.
.
Submitted. Unfolding feasible arithmetic and weak truth.
.
Submitted. Weak theories of truth and explicit mathematics.
