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 - s language for formalization of mathematics.