scientific article; zbMATH DE number 3222088
From MaRDI portal
Publication:5509669
zbMath0137.00401MaRDI QIDQ5509669
Heinrich Scholz, Gisbert Hasenjaeger
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Why Horn formulas matter in computer science: initial structures and generic examples ⋮ A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC ⋮ A calculus for finitely satisfiable formulas with identity
This page was built for publication:
