scientific article; zbMATH DE number 1310564

zbMath0929.03017MaRDI QIDQ4254556

Shalva Pkhakadze

Publication date: 23 September 1999

Full work available at URL: https://eudml.org/doc/48315

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

zbMATH Keywords

notation theoryBourbaki type general mathematical theoryclassical mathematical theorysystem of contracting symbols

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

On some classes of negligible subsets of the Euclidean plane ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems