scientific article; zbMATH DE number 7046722
From MaRDI portal
Publication:4630799
zbMath1419.03015MaRDI QIDQ4630799
Publication date: 23 April 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Reasoning about proof and knowledge ⋮ The Context of Inference ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Truth and Proof in Intuitionism
This page was built for publication:
