Journal of Formalized Mathematics
, Axiomatics
Table of Contents
Built-in Notions
by Library Committee
Tarski Grothendieck Set Theory
by Andrzej Trybulec
[
MML identifier index
,
Mizar home page
]