scientific article
From MaRDI portal
Publication:3845365
zbMath0109.00509MaRDI QIDQ3845365
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlösbarkeit ⋮ Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication ⋮ On proofs of properties of semirecursive sets ⋮ Facts and the semantics of gerunds ⋮ Properties of superintuitionistic propositional calculi ⋮ Nontabularity of the logic S4 with respect to functional completeness
This page was built for publication:
