scientific article; zbMATH DE number 3504946
From MaRDI portal
Publication:4085704
zbMath0323.02041MaRDI QIDQ4085704
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Light monotone Dialectica methods for proof mining ⋮ On the computational content of the Bolzano-Weierstraß Principle
This page was built for publication: