scientific article; zbMATH DE number 3320365
From MaRDI portal
Publication:5600855
zbMath0202.00602MaRDI QIDQ5600855
No author found.
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Projective sets, intuitionistically ⋮ Infinity and verifiability in Carnap's inductive logic ⋮ Brouwer's constructivism ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ The theory of empirical sequences ⋮ 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:
