Model Theory of Henselian Valued Fields
- Resource Type
- Source
- Subject
Model theory Algebra Mathematical logic TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Semantics (computer science) Proof theory Computer science Computability theory Set theory Algorithm Natural language - Language