scientific article; zbMATH DE number 1305936

zbMath0925.03217MaRDI QIDQ4252643

Kazushige Terui, Mitsuhiro Okada

Publication date: 8 November 1999

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

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

This page was built for publication: