| Links | |
|---|---|
| etymologically related | eng: predicate calculus |
| has derived form | eng: monadic predicate logic |
| is derived from | eng: logic |
| lexical category | noun |
| translation | eng: second-order logic |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint