The Bibliography of the Mizar Project


Mizar manuals:
Works devoted to Mizar:

Works devoted to Mizar-MSE

Works devoted to pedagogical and philosophical aspects of Mizar-MSE

Works devoted to natural deduction systems in Jaskowski style


[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: May 14, 2013