scientific article; zbMATH DE number 3382317

zbMath0242.02032MaRDI QIDQ5652651

Luis E. Sanchis

Publication date: 1971

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

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

This page was built for publication: