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