Back to Results
First PageMeta Content
Peano axioms / Axiom / Metamath / Mathematical proof / Principia Mathematica / Intuitionistic logic / Propositional calculus / Consistency / Function / Logic / Mathematics / Mathematical logic


162 SAUNDERS MACLANE
Add to Reading List

Document Date: 2010-01-14 11:31:16

Open Document

File Size: 468,39 KB

Share Result on Facebook

City

Berlin / /

Company

Russell / /

IndustryTerm

axiom systems / /

Person

Hubert Proof-theory / /

/

Position

author / /

ProgrammingLanguage

J / /

SocialTag