scientific article
From MaRDI portal
Publication:3290715
zbMath0105.24503MaRDI QIDQ3290715
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Leon Henkin the Reviewer ⋮ Quantifiers defined by parametric extensions ⋮ Unnamed Item ⋮ Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Unnamed Item ⋮ \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
This page was built for publication:
