The non-Euclidean, hyperbolic plane, its structure and consistency. - Springer Verlag, 1981. - ( Universitext ).