scientific article; zbMATH DE number 3317729
From MaRDI portal
Publication:5597506
zbMath0199.29901MaRDI QIDQ5597506
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Connectedness of the continuum in intuitionistic mathematics ⋮ INTUITIONISTIC ANALYSIS AT THE END OF TIME ⋮ Unavoidable sequences in constructive analysis ⋮ Analyzing realizability by Troelstra's methods ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
This page was built for publication:
