scientific article; zbMATH DE number 3326471
From MaRDI portal
Publication:5605219
zbMath0205.31001MaRDI QIDQ5605219
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Axiomatizing higher-order Kleene realizability ⋮ Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule ⋮ Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
