Back to Results
First PageMeta Content
Quantification / Mizar system / Andrzej Trybulec / Mizar and Alcor / Propositional calculus / Function / FO / Universal quantification / Natural deduction / Logic / Mathematical logic / Mathematics


Document Date: 2005-07-02 01:48:02

Open Document

File Size: 225,67 KB

Share Result on Facebook
UPDATE