scientific article
From MaRDI portal
Publication:3228603
zbMath0067.25002MaRDI QIDQ3228603
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Henkin’s Theorem in Textbooks, Meredith, Prior, and the history of possible worlds semantics, Jean van Heijenoort's contributions to proof theory and its history, First-order automated reasoning with theories: when deduction modulo theory meets practice, Finite tree property for first-order logic with identity and functions, To Peirce Hintikka's thoughts
