scientific article; zbMATH DE number 3365211
From MaRDI portal
Publication:5638276
zbMath0231.02033MaRDI QIDQ5638276
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A constructive consistency proof of a fragment of set theory ⋮ Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen ⋮ Beweistheorie vonKPN
This page was built for publication:
