scientific article; zbMATH DE number 3188507
From MaRDI portal
Publication:5724783
zbMath0116.00801MaRDI QIDQ5724783
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Intuitionistic completeness of first-order logic ⋮ Unnamed Item ⋮ Type-theoretic approaches to ordinals ⋮ Another proof of the intuitionistic Ramsey theorem ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session