User:GrzegorzBancerek

Master of Mathematics, Warsaw University, Bialystok Branch (now University of Bialystok) Thesis: "Mizar as the metalanguage for ZF set theory", 1990.

Ph.D. (doctorate) in mathematics, Institute of Mathematics, Polish Academy of Sciences. Thesis: "Some uniform algebraic approach to proofs of propositional calculus of intuitionistic logic and fragments of linear logic and corresponding categories", 1997.

I am Mizar user - a language for formalization of mathematics.