Pambuccian Victor Vasken

Constructive axiomatization of non-elliptic metric planes