Back to Results
First PageMeta Content
Computability theory / Mathematical logic / Proof theory / Reverse mathematics / Model theory / Axiom of choice


I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE
Add to Reading List

Document Date: 2014-07-04 08:41:44


Open Document

File Size: 282,12 KB

Share Result on Facebook