Back to Results
First PageMeta Content
Functions and mappings / Type theory / Impredicativity / Philosophy of mathematics / Axiom of reducibility / Logicism / Function / Principia Mathematica / Axiom of choice / Mathematics / Logic / Mathematical logic


Document Date: 2002-11-18 18:29:08

Open Document

File Size: 255,24 KB

Share Result on Facebook
UPDATE