scientific article; zbMATH DE number 3185430

zbMath0114.12601MaRDI QIDQ5721639

Arend Heyting

Publication date: 1963

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

zbMATH Keywords

foundations of geometry, non-Euclidean geometry

Related Items (11)

Local axioms in disguise: Hilbert on Minkowski diagrams ⋮ Mechanical theorem proving in projective geometry ⋮ Unnamed Item ⋮ Desargues configurations and their collineation groups ⋮ Geometrical structures and modal logic ⋮ Perspective Graves triads and triads of perspective inscribed triangles ⋮ The Lenz-Barlotti class \(I_ 6\) ⋮ Order and topology in projective Hjelmslev planes ⋮ A theory of computation based on quantum logic. I ⋮ Preordered affine Hjelmslev planes ⋮ Fuzzy plane projective geometry

This page was built for publication: