scientific article; zbMATH DE number 1555192

zbMath0953.68519MaRDI QIDQ4525292

Wilfried Sieg, Stanley S. Wainer

Publication date: 22 January 2001

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Induction rules, reflection principles, and provably recursive functions

This page was built for publication: