scientific article

zbMath1212.03045MaRDI QIDQ3569849

Zdenko Takáč

Publication date: 22 June 2010

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

zbMATH Keywords

intuitionproof method

Mathematics Subject Classification ID

Structure of proofs (03F07)

This page was built for publication: