scientific article

zbMath0092.38601MaRDI QIDQ3268765

Wanda Szmielew

Publication date: 1959

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

foundations of geometry, noneuclidean geometry

Related Items (7)

An alternative construction of Conway's ordered field No ⋮ Errata to ``An alternative construction of Conway's ordered field No. ⋮ Universal hyperbolic geometry. I: Trigonometry ⋮ On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving ⋮ Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq ⋮ A constructive version of Tarski's geometry ⋮ Wanda Szmielew 1918-1976

This page was built for publication: