scientific article
From MaRDI portal
Publication:3804703
zbMath0657.03045MaRDI QIDQ3804703
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35) Proof theory and constructive mathematics (03F99)
This page was built for publication:
