scientific article; zbMATH DE number 3298833
From MaRDI portal
Publication:5579018
zbMath0187.27702MaRDI QIDQ5579018
No author found.
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
On representations of intended structures in foundational theories ⋮ Toposes and intuitionistic theories of types ⋮ Reduction and Tarski's definition of logical consequence ⋮ The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
This page was built for publication:
