Formalization as the Immanent Part of Logical Solving (Q5742202)
From MaRDI portal
scientific article; zbMATH DE number 7056029
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization as the Immanent Part of Logical Solving |
scientific article; zbMATH DE number 7056029 |
Statements
Formalization as the Immanent Part of Logical Solving (English)
0 references
16 May 2019
0 references
applied logics
0 references
formalization
0 references
choice of logic
0 references
