scientific article; zbMATH DE number 3304886

zbMath0192.02001MaRDI QIDQ5586202

B. van Rootselaar

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

Truth, proof and infinity. A theory of constructions and constructive reasoning

This page was built for publication: