Guest Editors Scientific Editor Editor-in-chief Pseudo-canonical Formulae Are Classical Tarski Geometry Axioms Guest Editors Scientific Editor Editor-in-chief

All papers are checked by the Mizar system, automatically translated into English and automatically typset in L A T E X. Formalized Mathematics is issued quarterly and publishes Mizar articles contributed to the Mizar Mathematical Library (MML). Preparation of the papers. All articles should be written in Mizar language and checked by the Mizar system, followed by a bibliography file which summarizes the article, address of the au-thor(s), MML identifier, financial support etc. Articles should be All papers are reviewed by at least three experts from the relevant field (double-blind review process). The reviewing process is described in detail in the following paper, pp.239-240: