scientific article; zbMATH DE number 3266602
From MaRDI portal
Publication:5551140
zbMath0166.25704MaRDI QIDQ5551140
Jean-Pierre Benejam, Roland Fraïssé
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
predicate logicHerbrand-Gentzen theoremprenex normal formnon-prenex formulasdecomposition of formulas
This page was built for publication: