scientific article
From MaRDI portal
Publication:3874169
zbMath0435.03007MaRDI QIDQ3874169
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A constructive consistency proof of a fragment of set theory ⋮ Lookahead analysis in exact real arithmetic with logical methods ⋮ Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
This page was built for publication:
