scientific article; zbMATH DE number 625972
From MaRDI portal
Publication:4303651
zbMath0802.03001MaRDI QIDQ4303651
Publication date: 27 September 1994
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 (2)
Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting ⋮ Negationless intuitionism
This page was built for publication: