scientific article; zbMATH DE number 3351516
From MaRDI portal
Publication:5626609
zbMath0222.02021MaRDI QIDQ5626609
Publication date: 1971
Full work available at URL: https://eudml.org/doc/66434
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication ⋮ A survey of predicate realizability logic
This page was built for publication:
