Back to Results
First PageMeta Content
Proof theory / Model theory / Philosophy of mathematics / Computability theory / Reverse mathematics / Second-order arithmetic / First-order logic / Impredicativity / Axiom / Logic / Mathematics / Mathematical logic


Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet
Add to Reading List

Document Date: 2014-05-22 10:36:49

Open Document

File Size: 257,34 KB

Share Result on Facebook

Facility

Benedict Eastaugh University of Bristol Philosophy / University of Bristol / /

Organization

Benedict Eastaugh University of Bristol Philosophy / University of Bristol / /

Person

Benedict Eastaugh / /

SocialTag