<--- Back to Details
First PageDocument Content
Quantification / Mizar system / Andrzej Trybulec / Mizar and Alcor / Propositional calculus / Function / FO / Universal quantification / Natural deduction / Logic / Mathematical logic / Mathematics
Date: 2005-07-02 01:48:02
Quantification
Mizar system
Andrzej Trybulec
Mizar and Alcor
Propositional calculus
Function
FO
Universal quantification
Natural deduction
Logic
Mathematical logic
Mathematics

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 225,67 KB