scientific article
From MaRDI portal
Publication:3230359
zbMath0068.24503MaRDI QIDQ3230359
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Logische Kategorien ⋮ Gentzen reduction revisited ⋮ The Ω-consistency of ramified analysis ⋮ 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:
