Back to Results
First PageMeta Content
Proof theory / Automated theorem proving / Logic in computer science / Model theory / Mathematical proof / Theorem / Proof assistant / Isabelle / Jordan curve theorem / Logic / Mathematics / Mathematical logic


Document Date: 2008-11-20 13:32:58

Open Document

File Size: 511,60 KB

Share Result on Facebook
UPDATE