Chapter 13 First-Order Languages
Autor: | Roger Antonsen |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Zdroj: | Logical Methods ISBN: 9783030637767 |
DOI: | 10.1007/978-3-030-63777-4_14 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Roger Antonsen |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Zdroj: | Logical Methods ISBN: 9783030637767 |
DOI: | 10.1007/978-3-030-63777-4_14 |
Databáze: | OpenAIRE |
Externí odkaz: |