Login / Signup

Another Constructive Axiomatization of Euclidean Planes.

Victor Pambuccian
Published in: Math. Log. Q. (2000)
Keyphrases