scientific article; zbMATH DE number 218495
From MaRDI portal
Publication:4694208
zbMath0770.03001MaRDI QIDQ4694208
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items
A constructive real projective plane ⋮ The axioms of constructive geometry ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ Brouwer and Euclid ⋮ Axiomatizing geometric constructions ⋮ A common axiom set for classical and intuitionistic plane geometry
This page was built for publication:
