scientific article; zbMATH DE number 3499727

zbMath0319.02028MaRDI QIDQ4081220

N. V. Petri

Publication date: 1974

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: