View of Basic first-order model theory in Mizar

Return to Article Details Basic first-order model theory in Mizar Download Download PDF