On completeness and decidability of some non-definable notions of elementary hyperbolic geometry

Name: On completeness and decidability of some non-definable notions of elementary hyperbolic geometry
Author: Wolfram Schwabhäuser

by Wolfram Schwabhäuser · 1 review · 1971

Reviewed by	Journal	Date	Access
Lesław W. Szczerba	The Journal of Symbolic Logic	1971	Restricted