scientific article; zbMATH DE number 3074184

zbMath0047.28503MaRDI QIDQ5813273

B. van Rootselaar

Publication date: 1952

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

zbMATH Keywords

number theory

Related Items

The creating subject, the Brouwer-Kripke schema, and infinite proofs