scientific article; zbMATH DE number 3266563
From MaRDI portal
Publication:5551103
zbMath0166.24702MaRDI QIDQ5551103
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, L. E. J. Brouwer: Toward intuitionistic logic, Unnamed Item, Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting, Markov's constructive analysis; a participant's view, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Soviet mathematics and dialectics in the Post-Stalin era: New horizons, Péter on Church's thesis, constructivity and computers
