scientific article; zbMATH DE number 3351504
From MaRDI portal
zbMath0222.02009MaRDI QIDQ5626600
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Predicate metric tense logic for `now' and `then', Algebraization of quantifier logics, an introductory overview, First-Order Resolution Methods for Modal Logics, Goals and benchmarks for automated map reasoning, Temporal reference in linear tense logic, Logic, logics, and logicism