Besonderhede van voorbeeld: 3355991159618369979

Metadata

Author: WikiMatrix

Data

English^[en]

Its main tool is first-order logic.

Spanish^[es]

Su herramienta principal es la lógica de primer orden.

History

Your action: