scientific article; zbMATH DE number 3285197

zbMath0178.31201MaRDI QIDQ5567836

Roger Cusin

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic logicstrong completeness theoremCraig-Lyndon interpolation theoremHenkin's extended version

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: