Schwabhäuser, Wolfram
On Completness and Decidability and Some Non-Definable Notions of Elementary Hyperbolic Geometry / Wolfram Schwabhäuser
Lógica
On Completness and Decidability and Some Non-Definable Notions of Elementary Hyperbolic Geometry / Wolfram Schwabhäuser
Lógica