User:GrzegorzBancerek
Jump to navigation
Jump to search
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.