Pages that link to "Item:Q2865747"
From MaRDI portal
The following pages link to Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms (Q2865747):
Displaying 4 items.
- Preliminaries to classical first-order model theory (Q2865746) (← links)
- First order languages: further syntax and semantics (Q2865748) (← links)
- Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages (Q2865749) (← links)
- Sequent calculus, derivability, provability. Gödel's completeness theorem (Q2865750) (← links)