scientific article; zbMATH DE number 2174394

zbMath1079.03055MaRDI QIDQ4681897

Matthias Baaz

Publication date: 8 June 2005

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

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (2)

Note on Conditional Constructivity ⋮ Controlling witnesses

This page was built for publication: