Foundations of geometry K induction - Nicod Jean (1950)
Keywords: K induction; Geometry