scientific article
From MaRDI portal
Publication:3666844
zbMath0518.03025MaRDI QIDQ3666844
Publication date: 1982
Full work available at URL: https://eudml.org/doc/209242
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ 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:
