Journal of Formalized Mathematics, Axiomatics

Table of Contents


[MML identifier index, Mizar home page]