Back to Results
First PageMeta Content
Type theory / Mathematical logic / QED manifesto / Proof theory / Mizar system / Proof assistant / Mathematical proof / Constructivism / Setoid / Mathematics / Logic / Formal methods


Document Date: 2010-03-05 21:10:35

Open Document

File Size: 167,69 KB

Share Result on Facebook
UPDATE