Back to Results
First PageMeta Content
Mathematics / Mathematical logic / Logic / Logic in computer science / Constructible universe / Peano axioms / Factorization / Algebraic logic / Dialectica interpretation / Combinatory logic


Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar
Add to Reading List

Document Date: 2016-05-02 10:01:00


Open Document

File Size: 201,68 KB

Share Result on Facebook