Constructively presented projective planes

An attempt to define a finite presentation for projective planes by analogy to finitely presented groups has been made in [9]. In this article we suggest another definition for a presentation of projective planes: constructively presented planes. A few simple results about such planes and an example of constructively presented planes with nonsolvable word problem are given.This paper was written while the author was visiting the University of Bergen, Norway.